التخصّص · حقلٌ من المنطق
نظرية الفئات
الكائناتُ والأسهم، والطوبوسات ونظريةُ الأنماط: لغةٌ مجرَّدةٌ للبنية، وأساسٌ بديلٌ للرياضيات.
- المشكلة
- أيمكن تأسيسُ الرياضيات على البنية والتحويل (الأسهم) بدلًا من الانتماء إلى المجموعات؟
- نقطةُ التحوّل
- تناظرُ كَري–هاوَرد–لامبِك: البراهينُ والبرامجُ والأسهمُ في فئةٍ ديكارتيةٍ مغلقة شيءٌ واحد.
- سؤالٌ مفتوح
- إلى أيِّ مدًى تصلح فئاتُ ما لا نهاية ونظريةُ الطوبوس أساسًا عمليًّا للرياضيات اليومية؟
المتون
- Categories for the Working Mathematician 1971
- Conceptual Mathematics
- Intuitionistic Type Theory 1984
لدراسته
- Category Theory
- Topoi: The Categorial Analysis of Logic