A Type Theory for Strictly Unital Infty-Categories (2020)

First Author: Finster E

Attributed to: Higher Algebra and Quantum Protocols funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://arxiv.org/abs/2007.08307

Type: Technical Report