Finite Inverse Categories as Signatures

MaRDI QIDQ6289345zbMATH OpenFDO

Authors Dimitris Tsementzis, Matthew Z. Weaver

Publication date 23 July 2017

Mathematics Subject Classification ID

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

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

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)