The algebraic theory of order

DOI10.1007/BF00872943MaRDI QIDQ1320342zbMATH OpenFDO

Authors Hans-E. Porst

Publication date 5 June 1994

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

zbMATH Keywords

Galois connectionsorderordered algebraspreorderpartial operationscategory of posetsequationally defined domainsessentially algebraic categoryessentially equational theory

Mathematics Subject Classification ID

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

Recommendations

• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• scientific article; zbMATH DE number 2149941
• The algebraic completion of posets
• scientific article; zbMATH DE number 3859196

Cites work

• scientific article; zbMATH DE number 19046 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Aspects of topoi
• ESSENTIALLY ALGEBRAIC CATEGORIES
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Monadic decompositions

Cited in

(19)

• The algebraic completion of posets
• scientific article; zbMATH DE number 750695 (Why is no real title available?)
• scientific article; zbMATH DE number 436450 (Why is no real title available?)
• Order polarities
• Presenting finite posets
• scientific article; zbMATH DE number 2149941 (Why is no real title available?)
• Order preservation in limit algebras
• What is concrete equivalence?
• On an essentially algebraic theory for locally presentable categories
• scientific article; zbMATH DE number 6536488 (Why is no real title available?)
• scientific article; zbMATH DE number 736946 (Why is no real title available?)
• Order-independence algebras
• scientific article; zbMATH DE number 1678372 (Why is no real title available?)
• ORDER ALGEBRAS
• scientific article; zbMATH DE number 1869735 (Why is no real title available?)
• An order-theoretic approach to involutive algebras
• Algebras defined from ordered sets and the varieties they generate
• Orders and the Tits construction of Albert algebras
• scientific article; zbMATH DE number 4210287 (Why is no real title available?)

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

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