- Sets of Sets of Sets of Sets of Sets of Sets | The n-Category Café https://golem.ph.utexas.edu/category/2018/06/sets_of_sets_of_sets_of_sets_o.html 4 comments math
- Elmendorf's theorem | The n-Category Café https://golem.ph.utexas.edu/category/2018/06/elmendorfs_theorem.html#more 6 comments math
- A Pattern That Eventually Fails | n-Category Café https://golem.ph.utexas.edu/category/2018/09/a_pattern_that_eventually_fail.html#more 17 comments math
- "The Group With No Elements", by John Baez [n-Category Café blog post] https://golem.ph.utexas.edu/category/2020/08/the_group_with_no_elements.html 36 comments math
- Discussion on the n-Category Café blog: "What math problem has taken the longest to be solved? It could be one that’s solved now, or one that’s still unsolved." https://golem.ph.utexas.edu/category/2020/03/the_hardest_math_problem.html 6 comments math
- On the n-Category Café blog: Graphical Regular Logic. "This visual knowledge representation system has the potential to be an intuitive user-interface for regular logic." https://golem.ph.utexas.edu/category/2019/08/graphical_regular_logic.html 5 comments math
- On the n-Category Café blog: Turing Categories. "Turing categories enable the categorical study of computability theory, and thereby abstract and generalize the classical theory of computable functions on the natural numbers." https://golem.ph.utexas.edu/category/2019/08/turing_categories.html 10 comments math