scientific article; zbMATH DE number 3826059
algebres graphiqueslocally presentable categoriesmagmamultiplicative systemssyntactic description of structurestriplabel topos
Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3672153)