??is it (...) a presheaf topos??? ... and so forth ....
?? algorithms for converting between "graded" form and "glued" form ... and so forth ...
??something about ... ???lots of sort-of related toposes...
???lots of other stuff .... ????....
???something about cartesian bicategory and _topos_ (or something...) as non-example ... or something ... something about relevance to stuff above ... ??...
??something about all of this "filteredly cocomplete ..." stuff... and so forth ...
doctrine ... ???something about how this relates to that "cartesian bicategory" stuff that i just mentioned above ... or something ... and so forth ...
??lots of stuff which would be interesting and fun to talk about but perhaps shouldn't because it's not on the main track at the moment...
for example ...
"tiny" (or something... and so forth ...) object in presheaf topos (or something ... and so forth) ... relationship to variants of barycentric subdivision and "twisted morphism category" and so forth ... exponentiable, powerable, tensorable, and so forth ...
??something about forcing and so forth ...
No comments:
Post a Comment