Towards enriched universal algebra

DOI10.1007/S00029-026-01129-XMaRDI QIDQ6849824zbMATH OpenFDO

Authors Jiří Rosický, Giacomo Tendas

Publication date 5 March 2026

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00029-026-01129-X

zbMATH Keywords

Birkhoff varietyenriched categoriesmonadsuniversal algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational categories (18C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Cites work

• V-Cat is locally presentable or locally bounded if V is so
• A 2-categories companion
• A categorical view of varieties of ordered algebras
• A note on actions of a monoidal category
• A probability monad as the colimit of spaces of finite samples
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Approximate injectivity and smallness in metric-enriched categories
• Are Banach spaces monadic?
• Birkhoff's variety theorem in many sorts
• Categories of continuous functors. I
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Discrete equational theories
• Enriched factorization systems
• Enriched regular theories
• Enriched weakness
• Equational axiomatization of algebras with structure
• Filtered colimit elimination from Birkhoff's variety theorem
• Finitary monads on the category of posets
• Flat vs. filtered colimits in the enriched context
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Heterogeneous algebras
• Homotopy theoretic models of identity types
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779582 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2156368 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 7297850 (Why is no real title available?)
• scientific article; zbMATH DE number 3287759 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3360360 (Why is no real title available?)
• Iterated algebraic injectivity and the faithfulness conjecture
• Lawvere theories enriched over a general base
• Metric monads
• Monads and theories
• Notions of Lawvere theory
• On mono- and epimorphisms in varieties of ordered algebras.
• On Pure Quotients and Pure Subobjects
• On the structure of abstract algebras.
• Presentations and algebraic colimits of enriched monads for a subcategory of arities
• Purity, spectra and localisation.
• Quantitative Algebraic Reasoning
• Sifted colimits, strongly finitary monads and continuous algebras
• Term equational systems and logics (extended abstract)
• The Birkhoff variety theorem for continuous algebras
• Universal algebra in a closed category
• Varieties of ordered algebras
• Varieties of quantitative algebras and their monads
• Virtual concepts in the theory of accessible categories

Cited in

(1)

• Relativized universal algebra via partial Horn logic

This page was built for publication: Towards enriched universal algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6849824)