suppose that x is a "filteredly cocomplete" small category, and consider the grothendieck topology on x where for any filtered colimit diagram in x, the filtered colimit is covered by ... ??
??then is there some nice way of recovering x as a nice "intrinsically defined full subcategory of the sheaf topos here?? ...
??idea that... ??this question seems like a special case of a much larger family of questions that i ought to be able to answer but perhaps don't quite know how to ...
??something about where this question is coming form ... "torpos" and so forth ....
No comments:
Post a Comment