The glueing construction and lax limits

DOI10.1017/S0960129500000542zbMath0818.18004MaRDI QIDQ4327407

Harold Simmons

Publication date: 6 April 1995

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

zbMATH Keywords

adjunctionslax functorlax limitsposet-enriched categoriesglueing constructionlax transformation

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Topoi (18B25) 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 in geometry and topology (18F99) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categorical structures (18D99) Enriched categories (over closed or monoidal categories) (18D20) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Unnamed Item
• A uniform approach to inductive posets and inductive closure
• Direct limits of meet-continuous lattices
• Fixed-point constructions in order-enriched categories
• Artin glueing
• The Category-Theoretic Solution of Recursive Domain Equations

This page was built for publication: The glueing construction and lax limits