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.
| Original language | English |
|---|---|
| Pages (from-to) | 89-98 |
| Number of pages | 10 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 207 |
| DOIs | |
| Publication status | Published - 1 Apr 2016 |
| Event | 6th Workshop on Mathematically Structured Functional Programming, MSFP 2016 - Eindhoven, Netherlands Duration: 8 Apr 2016 → … |
Bibliographical note
Funding Information:Ahman was funded by the Kristjan Jaak scholarship programme of the Archimedes Foundation and the Estonian Ministry of Education and Research. Uustalu was supported by the Estonian Ministry of Education and Research institutional research grant no. IUT33-13 and the Estonian Science Foundation grant no. 9475.
Publisher Copyright:
� 2016, Open Publishing Association. All rights reserved.