Precategory objects of toposes

DOI10.1016/0022-4049(85)90029-5zbMath0569.18006OpenAlexW2044229303MaRDI QIDQ1061214

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 choicetopological categorynatural numbers objectsheafgeometric 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)

Related Items (1)

Unnamed Item

Cites Work

• Indexed categories and generated topologies
• Separable algebraic closure in a topos
• Indexed categories and their applications
• 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
• Characteristic Classes. (AM-76)
• Infinite Loop Spaces (AM-90)
• Unnamed Item
• Unnamed Item

This page was built for publication: Precategory objects of toposes