pith. sign in

arxiv: 1604.01187 · v1 · pith:BD7J6G3Xnew · submitted 2016-04-05 · 💻 cs.LO · cs.PL· math.CT

Directed Containers as Categories

Danel Ahman , Tarmo Uustalu This is my paper
classification 💻 cs.LO cs.PLmath.CT
keywords directedcontainercontainersmorphismthosecategorydatalaws
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Functorial aggregation

    math.CT 2021-11 unverdicted novelty 5.0

    Polynomial comonads amount to categories and polynomial bicomodules amount to parametric right adjoint functors, enabling a model of database aggregation alongside querying inside a framed bicategory of categories, re...