Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
434192 | Theoretical Computer Science | 2014 | 13 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
J.M.E. Hyland,