Active learning, Week 6

views comments

We compute the nerve of several very small categories and show that the nerve construction commutes with products, giving a hint along the way of why it is a right adjoint.