spent some leisure time writing a useful reference page

[juan_gandhi]

https://github.com/vpatryshev/wowiki/wiki/Logic-of-Elementary-Topos 

Comments

[epimorphisms_split]

картинки маленькие, можно увеличить раза в два.

[juan_gandhi]

Эх; надо бы, да. Там проблема у меня, что кегль я беру более менее стандартный, когда png изготовляю. Надо поправить будет, да.