Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Algebraic theories, monads, and arities

Abstract : Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general class of monads called monads with arities, so that not only algebraic theories can be computed from a proper set of arities, but also more general structures like n-categories, the computing process being realized using Kan extensions. This Master thesis compiles the required material in order to understand this question of arities and reconstruction of monads, and tries to give some examples of relevant interest from both semantics and higher category theory. A discussion on the promising field of operads is then provided as appendix.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-00670841
Contributor : Charles Grellois Connect in order to contact the contributor
Submitted on : Thursday, February 16, 2012 - 11:21:22 AM
Last modification on : Monday, February 15, 2021 - 10:38:17 AM

Links full text

Identifiers

  • HAL Id : hal-00670841, version 1
  • ARXIV : 1110.3294

Citation

Charles Grellois. Algebraic theories, monads, and arities. 2012. ⟨hal-00670841⟩

Share

Metrics

Record views

38