Exponentiation in V-categories

DOI10.1016/J.TOPOL.2005.01.038MaRDI QIDQ2508932zbMATH OpenOpenAlexFDO

Authors Maria Manuel Clementino, 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.038

zbMATH Keywords

enriched categoryexponentiablepowerfulpremetric spacepullbackquantale

Mathematics Subject Classification ID

Functor categories, comma categories (18A25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Review text

A morphism \(f:X\to Y\) in a category \(\mathcal{C}\) is called exponentiable (or powerful) when pullback along it exists as a functor \(f^{\ast }:\mathcal{C}/Y\rightarrow \mathcal{C}/X\) and has a right adjoint. For a symmetric monoidal complete lattice \(\mathcal{V}\), the authors characterize the morphisms (\(\mathcal{V}\)-functors) of the category \(\mathcal{V}{-}\mathbf{Cat}\) of \(\mathcal{V}\)-enriched categories which are exponentiable. As examples, the exponential morphisms in the categories of preordered sets and of premetric spaces are found. The metric space case is deduced with some extra work.

Recommendations

• EXPONENTIABLE MONOMORPHISMS
• scientific article; zbMATH DE number 7692246
• On exponentiable soft topological spaces
• Exponentiability via double categories
• Exponentiable objects in the category of topological molecular lattices

Cites work

• An algebraic description of regular epimorphisms in topology
• Cartesianness: topological spaces, uniform spaces, and affine schemes
• Exponentiable morphisms, partial products and pullback complements
• Extension of uniformly continuous transformations and hyperconvex metric spaces
• scientific article; zbMATH DE number 490143 (Why is no real title available?)
• scientific article; zbMATH DE number 1985405 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• Metric, topology and multicategory -- a common approach
• The convergence approach to exponentiable maps.
• Topological features of Lax algebras

Cited in

(24)

• Lawvere completeness in topology
• Compactly generated spaces and quasi-spaces in topology
• Cartesian closedness of a category of non-frame valued complete fuzzy orders
• Cartesian closed exact completions in topology
• Exponential Kleisli monoids as Eilenberg-Moore algebras
• The rise and fall of \(V\)-functors
• A non-frame valued Cartesian closed category of liminf complete fuzzy orders
• Axioms for sequential convergence
• Exponentiation for unitary structures
• Exponentiability via double categories
• scientific article; zbMATH DE number 446988 (Why is no real title available?)
• scientific article; zbMATH DE number 1985405 (Why is no real title available?)
• scientific article; zbMATH DE number 1560490 (Why is no real title available?)
• EXPONENTIABLE MONOMORPHISMS
• Homotopic pullbacks, lax pullbacks, and exponentiability
• Kantorovich functors and characteristic logics for behavioural distances
• scientific article; zbMATH DE number 7692246 (Why is no real title available?)
• Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
• When is \(\mathrm{Cat}(\mathcal{Q})\) Cartesian closed?
• On the Cartesian closedness of \([0,1]\)-\(\mathsf{CAT}\) and some of its subcategories
• Cartesian closed and stable subconstructs of [0,1]-\textbf{Cat}
• Closedness of the category of liminf complete fuzzy orders
• The lambda calculus is quantifiable
• Exponentiable functors between quantaloid-enriched categories

This page was built for publication: Exponentiation in \({\mathcal V}\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2508932)