2 citations · 6 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020★ 2 cited
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…
math.CT2020★ 1 cited
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…