Finite Inverse Categories as Signatures

arXiv1707.07339MaRDI QIDQ6289345FDOQ6289345

Authors: Dimitris Tsementzis, Matthew Z. Weaver 

Publication date: 23 July 2017

Abstract: We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Categories and theories (18C99)

This page was built for publication: Finite Inverse Categories as Signatures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6289345)