scientific article; zbMATH DE number 954810

MaRDI QIDQ3837263zbMATH OpenFDO

Authors Adrian Fiech

Publication date 23 July 1997

zbMATH Keywords

algebraic objectscategory of directed complete partial orderscocompletenesscolimitsdomain theorysinks

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4933981
• Limits and colimits in the category of pre-directed complete pre-ordered sets
• Weighted limits in the category Dcpo-S
• The limit–colimit coincidence theorem for -categories
• Completeness of the category CDCPO and its subcategories

Cited in

(14)

• Structural induction and coinduction in a fibrational setting
• Polymorphic lambda calculus and subtyping.
• Directed complete poset congruences
• Are chain-complete posets co-wellpowered?
• Free and cofree acts of dcpo-monoids on directed complete posets.
• Vizing's adjacency lemma on edge chromatic critical signed graphs and its applications
• Completeness of the category CDCPO and its subcategories
• Exponentiable morphisms of domains
• The symmetric monoidal closed category of cpo M-sets
• Limits and colimits in the category of pre-directed complete pre-ordered sets
• Natural congruences and isomorphism theorems for directed complete partially ordered sets
• DG categories and exceptional collections
• Weighted limits in the category Dcpo-S
• Congruence relations on domains

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 Q3837263)