Today we introduced a fancy new category: $\mathsf{Comp}$ , and then proceeded to prove... nothing.

Yep, sadly all we did was definitions today. But fear not: the next lecture will be full of proofs again. 🤓