The Family Approach to Total Cocompleteness and Toposes
DOI10.2307/1999291zbMATH Open0512.18001OpenAlexW4250461004MaRDI QIDQ4750833FDOQ4750833
Authors: Ross H. Street
Publication date: 1984
Full work available at URL: https://doi.org/10.2307/1999291
exact categoryGrothendieck toposfinitely presentabletotal categorylex-total categoryfactorization of familiesuniversal extremal epimorphic family
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Topoi (18B25) Abelian categories, Grothendieck categories (18E10) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cited In (7)
This page was built for publication: The Family Approach to Total Cocompleteness and Toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4750833)