Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory

Owen Lynch, Markus Lohmayer

This paper introduces an inherently strict presentation of categories with products, coproducts, or symmetric monoidal products that is inspired by file systems and directories. Ra…