| |||
|
|
Забавно, всегда полагал, что моники и эпики это то же самое, что инъекции и сюрьекции, да и вообще думал о категориях с гораздо более теоретико-множественной позиции. А оказалось, что это далеко не всегда так, а достаточное условие — категория является well-pointed топосом |
|||||||||||||