The limit–colimit coincidence theorem for -categories

DOI10.1017/S0960129509990387zbMath1233.18001OpenAlexW2153561916MaRDI QIDQ3559972

Paweł Waszkiewicz, Mateusz Kostanek

Publication date: 17 May 2010

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129509990387

zbMATH Keywords

domain theoryJ-cocomplete separated 2-categorieslimit-colimit coincidence

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (1)

The formal ball model for -categories

Cites Work

• Unnamed Item
• Elements of generalized ultrametric domain theory
• Solving reflexive domain equations in a category of complete metric spaces
• The closure of a class of colimits
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Quantales and continuity spaces
• Continuity spaces: Reconciling domains and metric spaces
• Topological features of Lax algebras
• One setting for all: Metric, topology, uniformity, approach structure
• The essence of ideal completion in quantitative form
• Metric, topology and multicategory -- a common approach
• Monads for which structures are adjoint to units
• Topological theories and closed objects
• Continuity in quantitative domains
• On the minimum monochromatic or multicolored subgraph partition problems
• Compact Hausdorff objects

This page was built for publication: The limit–colimit coincidence theorem for -categories