Kock's fat Delta category is generated by degenerated, vertical and standard faces subject to six relations, with every morphism factoring uniquely up to these relations.
Monads with Arities and Their Associated Theories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
On combinatorial aspects of fat Delta
Kock's fat Delta category is generated by degenerated, vertical and standard faces subject to six relations, with every morphism factoring uniquely up to these relations.