Precategory objects of toposes

DOI10.1016/0022-4049(85)90029-5MaRDI QIDQ1061214zbMATH OpenOpenAlexFDO

Authors David B. Lever

Publication date 1985

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(85)90029-5

zbMATH Keywords

axiom of choicenatural numbers objecttopological categorysheafgeometric morphismsindexed categorybounded toposinternal functorsprecategory object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Recommendations

• scientific article; zbMATH DE number 3867543
• scientific article; zbMATH DE number 1157196
• scientific article; zbMATH DE number 177191
• The stable category of preorders in a pretopos. I: General theory
• scientific article; zbMATH DE number 53544

Cites work

• scientific article; zbMATH DE number 3554471 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• Characteristic Classes. (AM-76)
• Indexed categories and generated topologies
• Indexed categories and their applications
• Infinite Loop Spaces (AM-90)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Separable algebraic closure in a topos

Cited in

(5)

• scientific article; zbMATH DE number 6131567 (Why is no real title available?)
• Weak equivalence of internal categories
• scientific article; zbMATH DE number 3849457 (Why is no real title available?)
• scientific article; zbMATH DE number 4061469 (Why is no real title available?)
• scientific article; zbMATH DE number 3867543 (Why is no real title available?)

This page was built for publication: Precategory objects of toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1061214)