The Family Approach to Total Cocompleteness and Toposes

DOI10.2307/1999291zbMath0512.18001OpenAlexW4250461004MaRDI QIDQ4750833

Ross H. Street

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/1999291

zbMATH Keywords

exact categoryGrothendieck toposfinitely presentabletotal categorylex-total categoryfactorization of familiesuniversal extremal epimorphic family

Mathematics Subject Classification ID

Topoi (18B25) Abelian categories, Grothendieck categories (18E10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items

Categories in which all strong generators are dense, Unnamed Item, Accessibility and the solution set condition, Limits in free coproduct completions, Regular closure operators, Unnamed Item, Unnamed Item