2 citations · 6 across the 6 of their papers we have counts for
4 papers · 1 filter
On the the missing diagrams in Category Theory (first-person version)
Eduardo Ochs
Most texts on Category Theory are written in a very terse style, in which people pretend a) that all concepts are visualizable, and b) that the readers can reconstruct the diagrams…
Each closure operator induces a topology and vice-versa ("version for children")
Eduardo Ochs
One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-v…
On my favorite conventions for drawing the missing diagrams in Category Theory
Eduardo Ochs
I used to believe that my conventions for drawing diagrams for categorical statements could be written down in one page or less, and that the only tricky part was the technique for…
Planar Heyting Algebras for Children 2: Local Operators, J-Operators, and Slashings
Eduardo Ochs
Choose a topos . There are several different "notions of sheafness" on . How do we visualize them? Let's refer to the classifier object of as , and to its Heyting Alge…