Fibred categories à la Jean Bénabou
Book information
Similar books
Introduction to Category Theory and Categorical Logic
2018 · PDF
Realizability [Lecture notes]
2013 · PDF
Introduction to Constructive Logic and Mathematics [Lecture notes]
2009 · PDF
Fibred categories à la Jean Bénabou [Lecture notes]
2017 · PDF
Categorical Models of Constructive Logic [Lecture notes]
2013 · PDF
Logik für Informatiker [Lecture notes]
2002 · PDF
Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]
2002 · PDF
Introduction to Category Theory and Categorical Logic [Lecture notes]
2017 · PDF