Year: 2016
Type: article
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.
DOI: 10.4204/eptcs.207.5
Authors: Danel Ahman, Tarmo Uustalu
Institutions: University of Edinburgh, Tallinn University of Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
Funders: Sihtasutus Archimedes, Eesti Teadusfondi
OpenAlex ID: W2316638342