On the characterization of monadic categories over \(\mathcal {S}et\). (English) Zbl 0824.18004

Presheaf categories were characterized by the reviewer [Relative functor categories and categories of algebras, J. Algebra 11, 64-101 (1969; Zbl 0165.329)] as monadic and comonadic over slices of \({\mathcal S}et\). A characterization involving exactness conditions and a small generating family of tiny objects was then given by her [Internal presheaves toposes, Cah. Topologie Géom. Différ. 18, 291-330 (1977; Zbl 0365.18017)] for internal presheaves toposes over a base topos \(S\). In the paper being reviewed, monadicity over \({\mathcal S}et\) is recast in terms of exactness conditions which is seen to extend to the characterization of presheaf categories given by the reviewer (loc. cit.). The new ingredient is to view \([{\mathcal C}^{\text{op}},{\mathcal S}et]\) as the exact completion of the coproduct completion \(\text{Fam }{\mathcal C}\) of the small category \(\mathcal C\).
Reviewer: M.Bunge (Genova)


18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18B25 Topoi
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18E10 Abelian categories, Grothendieck categories
18A35 Categories admitting limits (complete categories), functors preserving limits, completions
Full Text: Numdam EuDML


[1] Borceux F. , A handbook of categorical algebra , Cambridge University Press (to appear). · Zbl 0911.18001
[2] Bunge M. , Relative functor categories and categories of algebras, Journal of Algebra 11 - 1 ( 1969 ). Zbl 0165.32902 · Zbl 0165.32902
[3] Bunge M. , Internal presheaves toposes , Cahiers Topo. et Géo. Diff. XVIII - 3 ( 1977 ). Numdam | Zbl 0365.18017 · Zbl 0365.18017
[4] Carboni A. and Vitale E.M. , Algebraic categories as free categories, talk in 52nd Peripatetic Seminar in Sheaves and Logic , Valenciennes ( 1993 ).
[5] Joyal A. and Tierney M. , An extension of the Galois theory of Grothendieck, Memoirs American Mathematical Society 51 ( 1984 ). Zbl 0541.18002 · Zbl 0541.18002
[6] Linton F.E.J. , Applied functorial semantics II , Lecture Notes in Mathematics 80 , Springer ( 1969 ). Zbl 0181.02901 · Zbl 0181.02901
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.