???left- and/or right-universal property of cocomplete k-linear category of k-module objects in (??for example??? ...) a topos t ??...
"mother topos" of a toric variety ?? ... and so forth ... ??? ??"boilerplate" idea here ...???
(??maybe also something about "canonical grothendieck topology" and "best topos approximation" and so forth ... ??as peculiar here because of tag doctrine as maybe (?...) not very 2-topos-like (??or something???) ??...)
??something about variations on concepts of "grothendieck topology" and/or "lawvere-tierney topology" ... for various doctrines, and so forth ... ???...
??check semi-recent notes for other topics...
No comments:
Post a Comment