Algebraic exponentiation in general categories. (English) Zbl 1276.18002
Let \(\mathcal C\) be a category with pullbacks. The category \(\mathbf{Pt}(B)\) of points of an object \(B\) of \(\mathcal C\) is the comma category \((\mathrm{id}_B/(\mathcal C/B))\).
The category \(\mathcal C\) is locally Cartesian closed if and only if for every morphism \(p: E \to B\) of \(\mathcal C\), the induced pullback \(p^*: (\mathcal C/B) \to (\mathcal C/E)\) between the comma categories over \(B\) and \(E\), respectively, possesses a right adjoint. In this case, also the functor \(p^*: \mathbf{Pt}(E) \to \mathbf{Pt}(B)\) has a right adjoint, which is called an algebraic exponentiation in the paper under review.
In general, however, many categories of interest are not locally Cartesian closed. Thus, the question of whether at least an algebraic exponentiation in the above sense exists, becomes an interesting one. Several situations are studied by the author, in which this question can be answered and examples and counter-examples for the existence of such a right adjoint are given.
The category \(\mathcal C\) is locally Cartesian closed if and only if for every morphism \(p: E \to B\) of \(\mathcal C\), the induced pullback \(p^*: (\mathcal C/B) \to (\mathcal C/E)\) between the comma categories over \(B\) and \(E\), respectively, possesses a right adjoint. In this case, also the functor \(p^*: \mathbf{Pt}(E) \to \mathbf{Pt}(B)\) has a right adjoint, which is called an algebraic exponentiation in the paper under review.
In general, however, many categories of interest are not locally Cartesian closed. Thus, the question of whether at least an algebraic exponentiation in the above sense exists, becomes an interesting one. Several situations are studied by the author, in which this question can be answered and examples and counter-examples for the existence of such a right adjoint are given.
Reviewer: Marc Nieper-Wißkirchen (Augsburg)
MSC:
18A25 | Functor categories, comma categories |
18A40 | Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) |
18A22 | Special properties of functors (faithful, full, etc.) |
18A35 | Categories admitting limits (complete categories), functors preserving limits, completions |
18A30 | Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) |
18A05 | Definitions and generalizations in theory of categories |
18C15 | Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads |
18C20 | Eilenberg-Moore and Kleisli constructions for monads |
18C35 | Accessible and locally presentable categories |
18D15 | Closed categories (closed monoidal and Cartesian closed categories, etc.) |
18D35 | Structured objects in a category (MSC2010) |
Keywords:
adjoint functor; split extension; internal action; pullback functor; semi-abelian category; protomodular category; (weakly) Mal’tsev category; (weakly) unital category; algebraic exponentiationReferences:
[1] | Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1994) · Zbl 0795.18007 |
[2] | Barr, M., Wells, C.: Toposes, triples and theories. Reprints Theory Appl. Categ. (12), 1–287 (2005) · Zbl 1081.18006 |
[3] | Borceux, F., Bourn, D.: Mal’cev, protomodular, homological and semi-abelian categories. Kluwer Academic Publishers (2004) · Zbl 1061.18001 |
[4] | Borceux, F., Janelidze, G., Kelly, G.M.: On the representability of actions in a semi-abelian category. Theory Appl. Categ. 14(11), 244–286 (2005) · Zbl 1103.18006 |
[5] | Bourn, D.: Normalization equivalence, kernel equivalence and affine categories. Springer Lecture Notes Math. 1488, 43–62 (1991) · Zbl 0756.18007 · doi:10.1007/BFb0084212 |
[6] | Bourn, D.: Commutator theory in strongly protomodular categories. Theory Appl. Categ. 13(2), 27–40 (2004) · Zbl 1068.18006 |
[7] | Bourn, D., Janelidze, G.: Protomodularity, descent and semidirect products. Theory Appl. Categ. 4(2), 37–46 (1998) · Zbl 0890.18003 |
[8] | Clementino, M.M., Hofmann, D., Janelidze, G.: On exponentiability of étale algebraic homomorphisms. (to appear) · Zbl 1409.18004 |
[9] | Gray, J.R.A.: Algebraic Exponentiation in General Categories. Ph.D. thesis, University of Cape Town (2010) · Zbl 1276.18002 |
[10] | Huq, S.A.: Commutator, nilpotency and solvability in categories. Quart. J. Math. Oxford 19(2), 363–389 (1968) · Zbl 0165.03301 · doi:10.1093/qmath/19.1.363 |
[11] | Huq, S.A.: Upper central series in a category. J. Reine Angew. Math. 252, 209–214 (1972) · Zbl 0235.18004 |
[12] | Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer Science, New York (1997) · Zbl 0232.18001 |
[13] | Martins-Ferreira, N.: Low-dimensional Internal Categorical Structures in Weakly Mal’cev Sesquicategories. PhD Thesis (2008) |
[14] | Orzech, G.: Obstruction theory in algebraic categories I, II. J. Pure Appl. Algebra 2, 287–314 and 315–340 (1972) · Zbl 0251.18016 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.