Proof Assistants Beta
Eric Finster's user avatar
Eric Finster's user avatar
Eric Finster's user avatar
Eric Finster
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
About
I am currently in a postdoc position at the EPFL in Lausanne.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
25
The Dold-Thom theorem for infinity categories?
20
Modules and Square Zero Extensions
17
Homotopy Limits over Fibered Categories
15
The Dold-Thom theorem for infinity categories?
14
Are the path components of a loop space homotopy equivalent?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.