Exponentiation for unitary structures

DOI10.1016/j.topol.2005.01.037zbMath1105.18002OpenAlexW2000339732MaRDI QIDQ2508937

Dirk Hofmann

Publication date: 20 October 2006

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2005.01.037

zbMATH Keywords

approach spaceexponentiable morphismpretopological spaceLax algebraextensional topological hullpreapproach space

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)

Related Items (6)

Topological theories and closed objects ⋮ Axioms for sequential convergence ⋮ Kleisli compositions for topological spaces ⋮ Lawvere completeness in topology ⋮ Cartesian closed exact completions in topology ⋮ Duality theory for enriched Priestley spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic description of regular epimorphisms in topology
• Variation through enrichment
• Exponentiable morphisms, partial products and pullback complements
• A quasitopos containing CONV and MET as full subcategories
• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• More on exponential objects in categories of pretopological spaces
• Topological features of Lax algebras
• A characterization of exponentiable maps in \({\mathcal P}r{\mathcal T}op\)
• One setting for all: Metric, topology, uniformity, approach structure
• Metric, topology and multicategory -- a common approach
• Exponentiation in \({\mathcal V}\)-categories
• Relational algebras

This page was built for publication: Exponentiation for unitary structures