Я очень люблю лекции по теории категорий, потому что каждое третье предложение на доске выглядит примерно так:

"Let C be a small cat."

Это приводит к загадочным определениям, например "Nerve of a small cat", ну и конечно "Cat is the cat of all small cats"

Предложение переименовать малые категории в котят уже выдвинуто