Finite Inverse Categories as Signatures
Logic
2017-07-25 v1 Logic in Computer Science
Category Theory
Abstract
We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.
Keywords
Cite
@article{arxiv.1707.07339,
title = {Finite Inverse Categories as Signatures},
author = {Dimitris Tsementzis and Matthew Weaver},
journal= {arXiv preprint arXiv:1707.07339},
year = {2017}
}
Comments
11 pages