i want to try to describe here my understanding of how the tradeoff between working with all small colimits vs just finite colimits works in topos theory... on the grounds that topos theory is similar to what we're doing...
??coherent topos as locally finitely presentable category where the compact objects are closed under finite limits ... ???or something like that?? ...
topos as "geometric theory" ...
No comments:
Post a Comment