??lots of classifying topos examples...
???double negation topology for "decidable toset" or something?? ??also "decidable set" ... ?? ... ??something about "boolean (??or something...) object classifier" ??? .... ???so what _about_ double-negation topology for object classifier ??? .... and so forth ... ???so what _about_ conceptual meaning of "double-negation topology" ??? .... relationship to some kind of "generic", or _some_thing ?? ...
??inverse pair of real vector spaces ... ??... and so forth ...
??zariski ...large vs small ... ??"not a property of the carrier ring alone, but of its relationship to the model" ... ?? "good element" and so forth ... ??minor goal concerning "cuboquadratic algebra" ... ???or something ...
??_maybe_ also stuff about other doctrines ... ?? ... ??"abelian diaconescu's theorem" ... ??gabriel-ulmer duality ... ??as applied to g and / or ag doctrine ??? ... ??something about "compact object" vs finite colimit of such ... ??or something ?? ... and so forth ... ??...
??something about situation where double-negation topology is maybe particularly simple... "everything not outright false becomes true" ... ???or something ???.... ??something about when double-negation topos is "complete" ... ??or something ... ??? ... "trivial pi_0" or something ... ??...
??also, kz background to epistemology theory ... ???.... !!! ....??start with this ...
No comments:
Post a Comment