Exponentiable morphisms, partial products and pullback complements

DOI10.1016/0022-4049(87)90124-1zbMath0659.18003OpenAlexW1990711332MaRDI QIDQ1112156

Walter Tholen, Roy Dyckhoff

Publication date: 1987

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(87)90124-1

zbMATH Keywords

classifierreflective subcategoriesfactorization systemsexponentiable morphismsfinite completenesspartial product functorpullback complements

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Categorical methods in general topology (54B30) Dimension theory in general topology (54F45) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (53)

On models of higher-order separation logic ⋮ On exponentiability of étale algebraic homomorphisms ⋮ Exponentiable functors between quantaloid-enriched categories ⋮ Fibrewise injectivity in order and topology ⋮ Variations on the bagdomain theme ⋮ Disconnectednesses and partial products ⋮ D4-objects in abelian categories: Transfer via functors ⋮ Rickart and dual Rickart objects in abelian categories: transfer via functors ⋮ Pullback in partial morphism categories ⋮ The rise and fall of \(V\)-functors ⋮ Unnamed Item ⋮ Deduction as reduction, from a categorical point of view ⋮ Transfer of CS-Rickart and dual CS-Rickart properties via functors between Abelian categories ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Fundamentals of compositional rewriting theory ⋮ T\(_{0}\)-reflection and injective hulls of fibre spaces ⋮ Pure-direct-objects in categories: transfer via functors ⋮ Transfer of splitness with respect to a fully invariant short exact sequence in abelian categories ⋮ Baer-Kaplansky classes in categories: transfer via functors ⋮ Strongly Rickart objects in abelian categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Connected limits, familial representability and Artin glueing ⋮ Exponentiable morphisms of domains ⋮ A note on injective spaces. ⋮ Open localizations ⋮ Knowledge representation and update in hierarchies of graphs ⋮ Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces ⋮ Lexicographic sums and fibre-faithful maps ⋮ Covering morphisms in categories of relational algebras ⋮ Preservation of topological properties under exponentiation ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Algebraic graph rewriting with controlled embedding ⋮ THE EXPONENTIABLE MORPHISMS IN KELLEY ARE THE OPEN MAPS ⋮ On the structure of categories of coalgebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Exponentiable maps and triquotients in \({\mathcal T}op\) ⋮ Exponentiable monomorphisms in categories of domains ⋮ Exponentiation in \({\mathcal V}\)-categories ⋮ Exponentiation for unitary structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Partial pullback complement rewriting along admissible matches ⋮ The universal exponentiable arrow ⋮ Natural models of homotopy type theory ⋮ Unnamed Item ⋮ Injective topological fibre spaces ⋮ Induced model structures for higher categories ⋮ Fibrations and partial products in a 2-category ⋮ Partial pullback complement rewriting ⋮ Concurrency theorems for non-linear rewriting theories ⋮ Epireflective and not totally reflective subcategories of TOP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Total reflections, partial products, and hereditary factorizations
• Epireflective and not totally reflective subcategories of TOP
• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Adjungierte Dreiecke, Colimites und Kan-Erweiterungen
• Open maps, colimits, and a convenient category of fibre spaces
• Factorizations, Localizations, and the Orthogonal Subcategory Problem
• Pushout-Properties: An analysis of gluing constructions for graphs
• Dispersed Factorization Structures
• Cartesian inclusion: locales and topgses^∗
• Categorical cuts
• Spaces of partial maps, fibred mapping spaces and the compact-open topology
• Pullbacks in Regular Categories
• Aspects of topoi

This page was built for publication: Exponentiable morphisms, partial products and pullback complements