Category Theory Foundations, Lecture 1