Finite Inverse Categories as Signatures

arxiv: 1707.07339 · v1 · pith:NH2J36HYnew · submitted 2017-07-23 · 🧮 math.LO · cs.LO· math.CT

Dimitris Tsementzis , Matthew Weaver This is my paper

classification 🧮 math.LO cs.LOmath.CT

keywords categoriesfiniteinversecorresponddefinedependentexactlyprove

0 comments

read the original abstract

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

This paper has not been read by Pith yet.