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.
added the relevant definitions and propositions to object classifier
also added to the query box my thoughts on how the object classifier in ooGrpd works.
I have added to object classifier a paragraph Object classifier in infinity-Groupoid.
I have removed the corresponding query box that used to sit there.
added further discussion that the morphisms thus classified are indeed the relatively -compact ones.
Still need to polish the flow of the text. But have to go offline now.
We’ve spoken elsewhere (in the higher dualizing discussion) about the object classifier in an -topos having the structure of an internal -topos. Something along these lines should be added. Where would be the best place here?
Then where to link to for internal -topos? I guess we have category object in an (infinity,1)-category.
By the way, at The internal self-reflection / internal base (∞,1)-topos, are others seeing the diagram messed up?
1 to 4 of 4