Homotopically discrete higher categorical structures
Category Theory
2016-05-18 v1
Abstract
We introduce the notion of homotopically discrete n-fold category as an n-fold generalization of a groupoid with no non-trivial loops. We give two equivalent descriptions of this structure: in terms of a Segal-type model and in terms of iterated internal equivalence relations. We also show that homotopically discrete n-fold categories form an n-fold categorical model of 0-types.
Cite
@article{arxiv.1605.05112,
title = {Homotopically discrete higher categorical structures},
author = {Simona Paoli},
journal= {arXiv preprint arXiv:1605.05112},
year = {2016}
}
Comments
19 pages