scientific article
From MaRDI portal
Publication:3837263
zbMath0870.18001MaRDI QIDQ3837263
Publication date: 23 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sinksdomain theorycocompletenesscolimitscategory of directed complete partial ordersalgebraic objects
Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items (9)
Unnamed Item ⋮ Weighted limits in the category Dcpo-S ⋮ Unnamed Item ⋮ Exponentiable morphisms of domains ⋮ Natural congruences and isomorphism theorems for directed complete partially ordered sets ⋮ Directed complete poset congruences ⋮ Structural induction and coinduction in a fibrational setting ⋮ Polymorphic lambda calculus and subtyping. ⋮ Free and cofree acts of dcpo-monoids on directed complete posets.
This page was built for publication: