Kan injectivity in order-enriched categories
From MaRDI portal
Publication:5740617
DOI10.1017/S0960129514000024zbMath1362.18012arXiv1311.1721OpenAlexW3106368401WikidataQ122222698 ScholiaQ122222698MaRDI QIDQ5740617
Jiří Velebil, Jiří Adámek, Lurdes Sousa
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1311.1721
Continuous lattices and posets, applications (06B35) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (11)
Unnamed Item ⋮ A calculus of lax fractions ⋮ On lax epimorphisms and the associated factorization ⋮ Mahavier completeness and classifying diagrams ⋮ Lax comma categories of ordered sets ⋮ On lax epimorphisms of partially ordered monoids ⋮ On Kan-injectivity of locales and spaces ⋮ Lax orthogonal factorisations in ordered structures ⋮ Order-enriched solid functors ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Order-preserving reflectors and injectivity
- The orthogonal subcategory problem and the small object argument
- Essentially complete \(T_0\)-spaces
- Doctrines on 2-categories
- Categorical constructions of free algebras, colimits, and completions of partial algebras
- Properly injective spaces and function spaces
- On a bicomma object condition for KZ-doctrines
- Monads for which structures are adjoint to units
- Categorial characterization of the MacNeille completion
- Categories of continuous functors. I
- Filter Monads, Continuous Lattices and Closure Systems
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- The Category-Theoretic Solution of Recursive Domain Equations
This page was built for publication: Kan injectivity in order-enriched categories
