category theory+algebra
internalization and categorical algebra
monoid object
group object
ring object
algebra object (associative, Lie, …)
module object/action object
internal locale
internal category (→\to more)
internal groupoid
internal site
internal diagram
universal algebra
algebras over\, algebraic theories
algebras over\, monads
algebras over\, operads
categorical semantics
internal logic, internal language
relation between category theory and type theory
Iteration of distributive laws on monads.
Last revised on July 6, 2023 at 07:33:40. See the history of this page for a list of all contributions to it.