On the fullness of certain functors (Q584378)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the fullness of certain functors
scientific article

    Statements

    On the fullness of certain functors (English)
    0 references
    1989
    0 references
    The main result contained in the paper is the following: Let K: \({\mathcal C}\to {\mathcal D}\) be a continuous functor (i.e. \({\mathcal D}\) is weakly bounded by a regular cardinal \(\alpha\) and \({\mathcal C}\) has and K preserves \(\alpha\)-nice limits). (a) If K is full with respect to isomorphisms and \(K(C)=\{A|\) \(A\cong KX\) for some \({\mathcal C}\)-object \(X\}\) is closed in \({\mathcal D}\) under colimits of (S,\(\alpha)\)-sequences, then K is full. The converse is also true if \({\mathcal C}\) has and K preserves colimits of (S,\(\alpha)\)- sequences. (b) K is an equivalence iff it is essentially surjective on objects and full with respect to isomorphisms, and reflects isomorphisms. (c) K is an isomorphism iff it is essentially surjective on objects and full with respect to isomorphisms, and creates isomorphisms. The bounded categories with a generator, in the sense of Freyd and Kelly, are weakly bounded by some \(\alpha\)- in particular every locally presentable category is weakly bounded. Also the Cartesian closed topological categories and the generalized varieties are examples of weakly bounded categories.
    0 references
    full functor
    0 references
    continuous functor
    0 references
    weakly bounded categories
    0 references
    0 references
    0 references

    Identifiers