Mathematics – Category Theory
Scientific paper
2011-10-14
Mathematics
Category Theory
65 pages, this is a survey made for a Master thesis
Scientific paper
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.
No associations
LandOfFree
Algebraic theories, monads, and arities does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Algebraic theories, monads, and arities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic theories, monads, and arities will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-523696