4 citations · 4 across the 1 of their papers we have counts for
1 paper
Finn Lawler
We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of `regular fibrations' is constructed, as well as a 2-category of…