Category Theory

• Type-Theoretic Yoneda Lemma
• Categorical Trace
• Categorical Proofs of the Commutative Law, Distributive Law, and Exponential Law
• Notes on the Seifert-van Kampen Theorem
• The Difference Between Product and Box Topologies, and Direct Product and Direct Sum from a Categorical Perspective
• Yoneda Lemma
• Three Approaches to Adjoints
• An Intuitive Understanding of Adjoints