by ebcode on 9/3/24, 8:39 AM with 4 comments
by wbhart on 9/7/24, 11:46 AM
This is an interesting article, but the absence of simple examples of theories and their toposes and invariants made it seem a little abstract. Surely if the technique is so powerful, there ought to be easy examples of it aplenty.