User David Spivak - MathOverflow Meta

David Spivak

Member for 14 years, 11 months
Last seen more than 5 years ago

math.mit.edu/~dspivak

Stats

8,659

reputation

0

reached

0

answers

0

questions

Loading…

Communities

Badges

View all badges

This user doesn’t have any gold badges yet.

14

silver badges

Yearling

× 14

Dec 26, 2023

This user doesn’t have any bronze badges yet.

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

55

Lawvere's "Some thoughts on the future of category theory."

36

What can be expressed in and proved with the internal logic of a topos?

26

What is known about the category of monads on Set?

25

Another notion of exactness: how to refine it, and where does it fit?

24

The topologies for which a presheaf is a sheaf?