Directed Containers as Categories

zbMath1477.68169arXiv1604.01187MaRDI QIDQ5013830

Tarmo Uustalu, Danel Ahman

Publication date: 2 December 2021

Full work available at URL: https://arxiv.org/abs/1604.01187

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (3)

Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing ⋮ Unnamed Item ⋮ Decomposing Comonad Morphisms.

Cites Work

• Properties of dense and relative adjoint functors
• Containers: Constructing strictly positive types
• When is a container a comonad?
• Monads need not be endofunctors
• Polynomials in categories with pullbacks
• Indexed containers
• Types for Proofs and Programs

This page was built for publication: Directed Containers as Categories