Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
Came across this today:
I couldn’t help but think of topos and subobject quantifiers when I heard this. Are they related? Does CT or nPOV have anything to say about this? Any thoughts on this subject?
I don’t think the two kinds of “classification” are particularly related. The kind of classification here (i.e., determining the possible sets of or consequences of as varies) is more akin to the classification of surfaces or finite simple groups: give a concrete description of the possibilities as a variable ranges over a domain. In contrast, a classifying space gives a correspondence between a kind of structure on any space and maps into the classifying space.
1 to 2 of 2