Guitart, Rene Qu’est-ce que la logique dans une categorie? (French) Zbl 0496.18002 Cah. Topol. Géom. Différ. 23, 115-148 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 18A15 Foundations, relations to logic and deductive systems 18B25 Topoi 18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010) 18G99 Homological algebra in category theory, derived categories and functors 03G30 Categorical logic, topoi Keywords:universal algebras; universal topologies; topoi; fibrations; exact squares; categorical logics PDFBibTeX XMLCite \textit{R. Guitart}, Cah. Topologie Géom. Différ. Catégoriques 23, 115--148 (1982; Zbl 0496.18002) Full Text: Numdam EuDML