The algebraic theory of order

DOI10.1007/BF00872943zbMATH Open0798.06006MaRDI QIDQ1320342FDOQ1320342

Authors: Hans-E. Porst 

Publication date: 5 June 1994

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

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

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)

Cites Work

• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi
• Title not available (Why is that?)
• ESSENTIALLY ALGEBRAIC CATEGORIES
• Monadic decompositions

Cited In (19)

• The algebraic completion of posets
• Title not available (Why is that?)
• Order polarities
• Title not available (Why is that?)
• Presenting finite posets
• Title not available (Why is that?)
• Order preservation in limit algebras
• On an essentially algebraic theory for locally presentable categories
• What is concrete equivalence?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Order-independence algebras
• ORDER ALGEBRAS
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)