spent some leisure time writing a useful reference page

[juan_gandhi]

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

Comments

[sassa_nf]

Can you add something about Χ_f? It is clear from the examples it is not an arbitrary arrow B→Ω.

Well, ok, maybe this is a stupid question. Of course, it's just an arrow that makes the square commute.

[epimorphisms_split]

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

[sassa_nf]

Also, is the arrow Ω₁→Ω⨯Ω labelled (true,true) correctly?

[sassa_nf]

Is the introduction of Union of Subobjects necessary to define disjunction? Can we not use ∨: Ω⨯Ω→Ω = ⇒ . (¬⨯id)?