Notes on Clans and Tribes
Category Theory
2017-10-30 v1 Algebraic Topology
Logic
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.
Cite
@article{arxiv.1710.10238,
title = {Notes on Clans and Tribes},
author = {Andre Joyal},
journal= {arXiv preprint arXiv:1710.10238},
year = {2017}
}