Category Theory 1 "Hey, I've Seen This One!" A Motivated Introduction to Category Theory Oct 14, 2026