We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT
< prev | next >
new | recent | 1710

Change to browse by:

math
math.AT
math.LO

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Category Theory

Title: Notes on Clans and Tribes

Authors: Andre Joyal
(Submitted on 27 Oct 2017)
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.
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT); Logic (math.LO)
Cite as: arXiv:1710.10238 [math.CT]
  (or arXiv:1710.10238v1 [math.CT] for this version)

Submission history

From: Andre Joyal [view email]
[v1] Fri, 27 Oct 2017 16:56:36 GMT (78kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.