Category Archives: Mathesis universalis

Path categories and propositional identity types

https://arxiv.org/pdf/1604.06001.pdf

Advertisements