scientific article; zbMATH DE number 954810

zbMATH Open0870.18001MaRDI QIDQ3837263FDOQ3837263

Authors: Adrian Fiech 

Publication date: 23 July 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

domain theorycocompletenesssinkscolimitscategory of directed complete partial ordersalgebraic objects

Mathematics Subject Classification ID

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) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Cited In (13)

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

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)