Directories give an inherently strict, name-indexed 2-monadic presentation of product, coproduct, and symmetric monoidal categories, equivalent to the classical FinFam constructions.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
Directories give an inherently strict, name-indexed 2-monadic presentation of product, coproduct, and symmetric monoidal categories, equivalent to the classical FinFam constructions.