The algebraic theory of order

DOI10.1007/BF00872943zbMath0798.06006MaRDI QIDQ1320342

Hans-E. Porst

Publication date: 5 June 1994

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

orderpreorderGalois connectionsordered algebraspartial operationscategory of posetsequationally defined domainsessentially algebraic categoryessentially equational theory

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Partial algebras (08A55) Ordered structures (06F99) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (3)

What is concrete equivalence? ⋮ Unnamed Item ⋮ On an essentially algebraic theory for locally presentable categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monadic decompositions
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• ESSENTIALLY ALGEBRAIC CATEGORIES
• Aspects of topoi

This page was built for publication: The algebraic theory of order