Notes on Clans and Tribes
Abstract
The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent tribes is missing. The references are not always connected to the text. A better version is in preparation.
 Publication:

arXiv eprints
 Pub Date:
 October 2017
 DOI:
 10.48550/arXiv.1710.10238
 arXiv:
 arXiv:1710.10238
 Bibcode:
 2017arXiv171010238J
 Keywords:

 Mathematics  Category Theory;
 Mathematics  Algebraic Topology;
 Mathematics  Logic