Elements of a theory of algebraic theories
Copyright policy )Elements of a theory of algebraic theories
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.
26 pages submitted (I think) to Theoretical Computer Science but nothing heard for 9 months whence put up here
operads, algebraic theories, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Kleisli bicategories, Semantics in the theory of computing, FOS: Mathematics, Eilenberg-Moore and Kleisli constructions for monads, Mathematics - Category Theory, Category Theory (math.CT)
operads, algebraic theories, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Kleisli bicategories, Semantics in the theory of computing, FOS: Mathematics, Eilenberg-Moore and Kleisli constructions for monads, Mathematics - Category Theory, Category Theory (math.CT)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).9 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!