pith. sign in

arxiv: 1710.10238 · v1 · pith:A3QSQIO6new · submitted 2017-10-27 · 🧮 math.CT · math.AT· math.LO

Notes on Clans and Tribes

Andre Joyal This is my paper
classification 🧮 math.CT math.ATmath.LO
keywords notestribesalwaysanalysisbettercategoricalchapterclans
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Elementary $\infty$-toposes from type theory

    math.CT 2025-12 unverdicted novelty 7.0

    Categorical models of dependent type theory with sums, products, identity types and univalent universes present elementary ∞-toposes via ∞-localization, which also possess small subobject classifiers.