A Type Theory for Strictly Associative Infinity Categories (2021)

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/2109.01513

Type: Working Paper