Кстати, вспомнился случай в тему. Один чувак в блогах придумал некий набор формул и сказал, что это категория. Разумеется, он не доказывал аксиомы категории. Скорее всего, просто не знал их. Я ему написал схему доказательства, что его штука не является категорий. Но строгое доказательство составить трудно, так как у него слишком хитрожопые формулы. Он ещё и Arrow там открыл. Это нормально? К чему это приведёт? Ведь на уровне «понимания» любое понятие похоже на любое понятие, так не всё ли равно?