Distributive laws of directed containers

@inproceedings{Ahman2013DistributiveLO,
  title={Distributive laws of directed containers},
  author={Danel Ahman and Tarmo Uustalu},
  year={2013}
}
Containers are an elegant representation of a wide class of datatypes in terms of positions and shapes. We have recently introduced directed containers as a special case to account for the common situation where every position in a shape determines another shape, informally the subshape rooted by that position. While containers interpret into set functors via a fully faithful functor, directed containers denote comonads fully faithfully. In fact, directed containers correspond to exactly those… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Sulla costruzione dei gruppi prodotto di due dati sottogruppi permutabili tra loro

  • G. Zappa
  • Atti Secondo Congresso dell’Unione Matemática…
  • 1942
Highly Influential
14 Excerpts

Distributive laws

  • J. Beck
  • B. Eckmann, ed., Seminar on Triples and…
  • 1966
Highly Influential
2 Excerpts

Bilateral semidirect product decompositions of transformation monoids

  • V. H. Fernandes, T. M. Quinteiro
  • Semigroup Forum, vol. 82, no. 2, pp. 271– 287…
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…