Are there any "visions" (maybe "dreams"), future plans or connections between Homotopy type theory and Grothendieck's theory of motives (or at least "connections" with universal cohomology theory)?
closed as too broad by Yemon Choi, Stefan Kohl, Joonas Ilmavirta, Marco Golla, José Figueroa-O'Farrill Jul 20 '15 at 21:31
Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.