category-theory 2 Type Theory Part I: Introduction to Type Theory Sep 13, 2025 What is the 'Co' in 'Covariant' in C#? Dec 7, 2024