Elements of a theory of algebraic theories
classification
🧮 math.CT
keywords
algebraicnotionsoperadstheoriestheoryaccountallowsbicategories
read the original abstract
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clear account of comparisons between such notions. Algebraic theories, symmetric operads and nonsymmetric operads are treated as examples.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.