Finite Inverse Categories as Signatures
arXiv:1707.07339
Abstract
We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.
11 pages
arXiv:1707.07339
We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.
11 pages