There is no "Category of Categories"
The small categories and the functors between them do NOT form a large category.
Though, there is a way to refine the arrows to get a "category of small categories" that isn't evil, but it's not as nice as you might first think.
__________
Errata:
03:08 - The max degrees of these spaces of polynomi...
