2 citations · 6 across the 5 of their papers we have counts for
5 papers
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 a formula that is not in "Grothendieck Topologies in Posets"
Eduardo Ochs
The paper "Grothendieck Topologies on Posets" by A.J. Lindenhovius shows that when is an Artinian poset and is the topos then th…
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…