Directed Containers as Categories

Abstract

Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a directed container morphism those of a monoid morphism in the reverse direction. With some reorganization, a directed container is the same as a small category, but a directed container morphism is opcleavage-like. We draw some conclusions for comonads from this observation, considering in particular basic constructions and concepts like the opposite category and a groupoid.

In Proceedings MSFP 2016, arXiv:1604.00384

References in corpus (2)

• Monads need not be endofunctors
• When is a container a comonad?

Cited by in corpus (6)

• Learners' Languages
• Poly: An abundant categorical setting for mode-dependent dynamics
• Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
• Functorial aggregation
• Monoidal Structures on Generalized Polynomial Categories
• Delta lenses as coalgebras for a comonad