On the dependent product in toposes

DOI10.1002/malq.202000069zbMath1521.18002arXiv1908.08488OpenAlexW3202626614MaRDI QIDQ6047709

Olivia Caramello, Unnamed Author

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.08488

Mathematics Subject Classification ID

Topoi (18B25)

Cites Work

• Topoi. The categorial analysis of logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Wellfounded trees in categories
• 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
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the dependent product in toposes