Теория категорий 4.1: Терминальные и инициальные объекты

Bartosz Milewski