Cartesian closed exact completions

DOI10.1016/S0022-4049(98)00146-7MaRDI QIDQ1124976zbMATH OpenFDO

Authors Jiří Rosický

Publication date 13 February 2000

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

Full work available at URL https://doi.org/10.1016/S0022-4049(98)00146-7

zbMATH Keywords

Cartesian closed categoriesexact completionTop

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Review text

The author introduces and investigates the concepts of small functors and Cartesian preclosed categories. His main result states that a category \({\mathcal C}\), under suitable assumptions, is Cartesian preclosed iff its exact completion is Cartesian closed. As an important application he demonstrates that the exact completion of the category \({\mathcal T}op\) of topological spaces and continuous maps is Cartesian closed.

Recommendations

• Locally cartesian closed exact completions
• Cartesian closed exact completions in topology
• On the local Cartesian closure of exact completions
• scientific article; zbMATH DE number 220855
• Exact completion and constructive theories of sets
• Unifying exact completions
• Remarks on The Cartesian Closure
• Closure operators in exact completions
• Regular and exact completions
• scientific article; zbMATH DE number 954402

Cited in

(28)

• On right adjoints to exponential functors
• Locally cartesian closed exact completions
• Class-locally presentable and class-accessible categories
• Accessibility and presentability in 2-categories
• On the local Cartesian closure of exact completions
• On generalized equilogical spaces
• How nice are free completions of categories?
• Cartesian closed exact completions in topology
• Free modules over Cartesian closed topological categories
• Calculus of functors and model categories
• Virtual concepts in the theory of accessible categories
• Closure operators in exact completions
• A direct proof that the category of 3-computads is not Cartesian closed
• Continuity is an Adjoint Functor
• The property of Cartesian closed of the category of normal -sets based on the category of sheaves
• Homotopy theory of small diagrams over large categories
• scientific article; zbMATH DE number 3968855 (Why is no real title available?)
• Exact functors, local connectedness and measurable cardinals
• scientific article; zbMATH DE number 1251511 (Why is no real title available?)
• scientific article; zbMATH DE number 2165891 (Why is no real title available?)
• The comprehensive factorization of Burroni's T-functors
• The fullness axiom and exact completion of homotopy categories
• When do completion processes give rise to extensive categories?
• On the structure of categories of coalgebras
• On algebraically exact categories and essential localizations of varieties
• Flatness, weakly lex colimits, and free exact completions
• Machine space. I: Weak exponentials and quantification over compact spaces
• Limits of small functors

This page was built for publication: Cartesian closed exact completions

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