Spahn Lawvere et al, algebraic theories (changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

This entry is about

• Lawvere et al, algebraic theories, Cambridge University Press 2010

From the two categorical approaches to algebra: algebraic theories (aka. Lawvere theories) and monads, the book -with the exception of Appendix A and Appendix C- entirely concentrates on algebraic theories. Also the book only treats sets and “many sorted sets”. Sets with structure such as topological groups are not treated.

Appendix A

Finitary monads for $K=Set$ yield precisely one-sorted algebraic theories.

Finitary monads for $K=Set^S$ yield precisely $S$-sorted algebraic theories.

(This (or parts thereof) was first shown in: Linton, F. E. J., Some aspects of equational theories, Proc. Conf. on Categorical Algebra at La Jolla (1966), 84–95. For the history see Martin Hyland, The category theoretic understanding of universal algebra Lawvere theories and monads.)

Appendix C

Proposition: For every one-sorted algebraic theory $(T, t)$, the concrete category $(Alg T, Alg t)$ is pseudomonadic.

Theorem: The following conditions on a concrete category $(A,U)$ over $Set$ are equivalent:

(1) $(A,U)$ is pseudo-one-sorted algebraic.

(2) $A$ is cocomplete, and $U$ is a conservative right adjoint preserving sifted colimits.

Corollary: Pseudo-one-sorted algebraic categories are up to pseudoconcrete equivalence precisely the categories $Set^M$ of Eilenberg-Moore algebras for finitary monads $M$ on $C$.

Theorem (One-sorted algebraic duality): The category $Alg_u^1$ of uniquely transportable on-sorted algebraic categories is equivalent to the dual of the category $Th^1$ of one-sorted algebraic theories. In fact, the $2$-functor $Alg^1:(Ps Th^1)^{op}\to Ps Alg^1$ is a biequivalence.