Kan injectivity in order-enriched categories

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

Mathematics Subject Classification ID

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