Sort by: Order: Results:

Now showing items 1-1 of 1

  • Fibrations of predicates and bicategories of relations 

    Lawler, Finn (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    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 regular proarrow equipments, and ...