ещё один хороший человек в ЖЖ пришел

koteljnik

поплыл я что-то...

Строю блин большую категорию конечных множеств, пишу тесты; решил тдд немножко применить; прежде чем имплементировать обращение стрелки, написать на это тест и програть. Написал. Проходит. Поглядел имплементацию. Делегирует. И тут я понял, что не знаю, как мой код работает. Почему он обращает функцию? Щас дебагером потыкаю.

Так в процессе применения теории категорий программа чаво-то начала додумывать сама. Эй, Алан Т, подрядчик не нужен?

Обдейт. Вот как он это делает "по категорному". Получив морфизм f:x->y, шмонает по hom(y,x) и сличает, какой морфизм годится в качестве обратного. И всё.

Аналогично с проверкой на изоморфизм... видимо. По-категорному, а не на пальцах. О блин.

к рублю это тоже применимо