On Grothendieck universes for category theory:
On geometric homotopy theory via simplicial objects internal to a Grothendieck topos (simplicial sheaves):
On simplicial homotopy theory, (∞,1)-category theory and (∞,1)-topos theory:
On generalization of the notion of schemes (to something like Structured Spaces):
Last revised on January 22, 2023 at 11:29:35. See the history of this page for a list of all contributions to it.