ottos mops? has contributed to 20 nLab pages.
| catamorphism | 23:35:10, December 15 2022 |
| synthetic topology | 22:48:24, May 03 2019 |
| function type natural deduction - table | 19:47:22, September 29 2018 |
| Metaphysics (Aristotle) | 13:28:44, July 08 2018 |
| Myles Tierney | 15:31:19, October 11 2017 |
| Myles Tierney | 10:32:35, October 11 2017 |
| first-order modal logic | 18:37:00, October 10 2017 |
| Myles Tierney | 08:47:10, October 09 2017 |
| co-Heyting algebra | 19:46:34, May 06 2017 |
| propositions as projections | 20:23:57, November 13 2015 |
| axiom of replacement | 02:03:08, December 26 2014 |
| variety of algebras | 10:32:58, August 31 2014 |
| synthetic mathematics | 10:32:57, August 31 2014 |
| !-modality | 10:32:54, August 31 2014 |
| Brown-Comenetz duality | 10:32:52, August 31 2014 |
| judgment | 10:32:50, August 31 2014 |
| algebraic category | 10:32:47, August 31 2014 |
| variety of algebras | 10:32:44, August 31 2014 |
| Bohr topos | 10:32:39, August 31 2014 |
| closed category | 10:32:31, August 31 2014 |
| space and quantity | 10:32:17, August 31 2014 |
| abstract Stone duality | 10:32:15, August 31 2014 |
| decategorification | 10:32:05, August 31 2014 |