Browsing School of Computer Science and Statistics by Author "Lawler, Finn"

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 ...