×

Qu’est-ce que la logique dans une categorie? (French) Zbl 0496.18002


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
PDFBibTeX XMLCite
Full Text: Numdam EuDML