nLab
tribe

Tribes

Tribes

Idea

A tribe, or type-theoretic fibration category, is a version of a fibration category that is adapted to describe the categorical semantics of dependent type theory and in particular homotopy type theory

Definitions

References

Created on January 14, 2019 at 14:06:38. See the history of this page for a list of all contributions to it.