Container Combinatorics: Monads and Lax Monoidal Functors

  • Tarmo UustaluEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10608)


Abbott et al.’s containers are a “syntax” for a wide class of set functors in terms of shapes and positions. Containers whose “denotation” carries a comonad structure can be characterized as directed containers, or containers where a shape and a position in it determine another shape, intuitively a subshape of this shape rooted by this position. In this paper, we develop similar explicit characterizations for container functors with a monad structure and container functors with a lax monoidal functor structure as well as some variations. We argue that this type of characterizations make a tool, e.g., for enumerating the monad structures or lax monoidal functors that some set functor admits. Such explorations are of interest, e.g., in the semantics of effectful functional programming languages.


Monad Structure Subshapes Comonad Structure Container Functors Monoidal Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



I am very grateful to Thorsten Altenkirch, Pierre-Louis Curien, Conor McBride, Niccolò Veltri for discussions. Paul-André Melliès pointed me to Aguiar’s work. The anonymous reviewers of TTCS 2017 provided very useful feedback. This work was supported by the Estonian Ministry of Education and Research institutional research grant IUT33-13.


  1. 1.
    Abbott, M., Altenkirch, A., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342(1), 3–27 (2005). MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Aguiar, M.: Internal Categories and Quantum Groups. Ph.D. thesis. Cornell University, Ithaca, NY (1997).
  3. 3.
    Ahman, D., Chapman, J., Uustalu, T.: When is a container a comonad? Log. Methods Comput. Sci. 10(3), article 14 (2014).
  4. 4.
    Ahman, D., Uustalu, T.: Directed containers as categories. In: Atkey, R., Krishnaswami, N. (eds.) Proceedings of 6th Workshop on Mathematically Structured Functional Programming, MSFP 2016. Electron. Proc. in Theor. Comput. Sci., vol. 207, pp. 89–98. Open Publishing Assoc., Sydney (2016).
  5. 5.
    Ahman, D., Uustalu, T.: Update monads: cointerpreting directed containers. In: Matthes, R., Schubert, A. (eds.) Proceedings of 19th Conference on Types for Proofs and Programs, Leibniz Int. Proc. in Inf., vol. 26, pp. 1–23. Dagstuhl Publishing, Saarbrücken/Wadern (2014).
  6. 6.
    Altenkirch, T., Pinyo, G.: Monadic containers and universes (abstract). In: Kaposi, A. (ed.) Abstracts of 23rd International Conference on Types for Proofs and Programs, TYPES 2017, pp. 20–21. Eötvös Lórand University, Budapest (2017)Google Scholar
  7. 7.
    Capriotti, P., Kaposi, A.: Free applicative functors. In: Levy, P., Krishnaswami, N. (eds.) Proceedings of 5th Workshop on Mathematically Structured Functional Programming, MSFP 2014, Electron. Proc. in Theor. Comput. Sci., vol. 153, pp. 2–30. Open Publishing Assoc., Sydney (2014).
  8. 8.
    Curien, P.-L.: Syntactic presentation of polynomial functors. Note, May 2017Google Scholar
  9. 9.
    Gambino, N., Hyland, M.: Wellfounded trees and dependent polynomial functors. In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol. 3085, pp. 210–225. Springer, Heidelberg (2004). CrossRefGoogle Scholar
  10. 10.
    Gambino, N., Kock, J.: Polynomial functors and polynomial monads. Math. Proc. Cambridge Philos. Soc. 154(1), 153–192 (2013). MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Girard, J.-Y.: Normal functors, power series and lambda-calculus. Ann. Pure Appl. Log. 37(2), 129–177 (1988). CrossRefzbMATHGoogle Scholar
  12. 12.
    McBride, C., Paterson, R.: Applicative programming with effects. J. Funct. Program. 18(1), 1–13 (2008). CrossRefzbMATHGoogle Scholar
  13. 13.
    Weber, M.: Polynomials in categories with pullbacks. Theor. Appl. Categ. 30, 533–598 (2015).

Copyright information

© IFIP International Federation for Information Processing 2017

Authors and Affiliations

  1. 1.Department of Software ScienceTallinn University of TechnologyTallinnEstonia

Personalised recommendations