Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
0 answers
254 views

How can one concretely approximate a homotopy type by a scheme or (higher/derived) stack?

What methods are there to approximate an arbitrary homotopy type by an algebraic-geometric object in a concrete (read: computable) way? I know this is an ambitious question, so maybe I should ...
Patrick Elliott's user avatar