Stefan Zetzsche

Bases for algebras over a monad.

2020 · arXiv (Cornell University)

One of the fundamental notions of linear algebra is the concept of a basis for a vector space. In the category theoretic formulation of universal algebra, vector spaces are the Eilenberg-Moore algebras over the free …