Quasivarieties and varieties of ordered algebras: regularity and exactness

DOI10.1017/S096012951500050XzbMath1423.08007OpenAlexW2273719480MaRDI QIDQ5361148

Jiří Velebil, Alexander Kurz

Publication date: 27 September 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951500050x

Mathematics Subject Classification ID

Quasivarieties (08C15) Ordered rings, algebras, modules (06F25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (9)

A categorical view of varieties of ordered algebras ⋮ Finitary monads on the category of posets ⋮ Varieties of ordered algebras as categories ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ On lax protomodularity for \(\mathsf{Ord}\)-enriched categories ⋮ Order-enriched solid functors ⋮ Extending set functors to generalised metric spaces ⋮ The exact completion for regular categories enriched in posets ⋮ Unnamed Item

Cites Work

• Notions of Lawvere theory
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Discrete Lawvere theories and computational effects
• P-varieties - a signature independent characterization of varieties of ordered algebras
• The closure of a class of colimits
• Two-dimensional sheaf theory
• Varieties of ordered algebras
• Yoneda structures on 2-categories
• A completeness theorem for Kleene algebras and the algebra of regular events
• Codescent objects and coherence
• Order algebraizable logics
• Enriched logical connections
• Two-dimensional regularity and exactness
• Exact categories and categories of sheaves
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Elementary observations on 2-categorical limits
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quasivarieties and varieties of ordered algebras: regularity and exactness