David Spivak's user avatar
David Spivak's user avatar
David Spivak's user avatar
David Spivak
  • Member for 14 years, 3 months
  • Last seen more than a week ago
54 votes
2 answers
9k views

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

34 votes
2 answers
3k views

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

26 votes
2 answers
5k views

What is known about the category of monads on Set?

25 votes
2 answers
1k views

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

24 votes
0 answers
908 views

The topologies for which a presheaf is a sheaf?

21 votes
2 answers
445 views

Is the order on repeated exponentiation the Dyck order?

20 votes
11 answers
15k views

What to do with antique math books?

19 votes
4 answers
1k views

How to triangulate a math reference?

18 votes
1 answer
373 views

Categorical description of log as approximate rig homomorphism?

17 votes
2 answers
497 views

Characterize constant objects in the internal language of a topos?

17 votes
1 answer
2k views

Are Lurie's operads special SMCs?

16 votes
3 answers
995 views

The urge to combine 1- and 2-morphisms in slicing a 2-category.

16 votes
1 answer
1k views

What braking strategy is most fuel-efficient?

15 votes
1 answer
2k views

First: upper-star, then: lower-star, finally: lower-shriek

15 votes
5 answers
1k views

Monoids with infinite products

15 votes
3 answers
497 views

Conditions for a functor to induce a logical functor between presheaf toposes?

14 votes
1 answer
385 views

Reference request: Heyting algebra structure on Catalan numbers

14 votes
1 answer
778 views

Are all smooth functions composites of 0-, 1-, and 2-ary functions?

14 votes
2 answers
489 views

Which spaces have enough curves

14 votes
2 answers
1k views

How divisible is the average integer?

12 votes
1 answer
533 views

Categorical interpretation of disjoint cycle notation for tracing permutations

12 votes
2 answers
705 views

Examples of non-polynomial comonads on Set?

11 votes
1 answer
456 views

Terminology for this notion of "$\sigma$-algebra" in a topos

11 votes
1 answer
733 views

Slicing up monads on categories with pullbacks: what are these mysterious "zerosumfree" monads"

11 votes
3 answers
558 views

Is Stoch enriched in Met?

11 votes
4 answers
1k views

"Linked List" puzzle

11 votes
0 answers
305 views

What are the logical morphisms from a topos E to Set?

10 votes
1 answer
498 views

Bundle-to-function correspondence

10 votes
1 answer
617 views

Reference for my monads?

10 votes
1 answer
509 views

Is the evaluation of polynomial functors appropriately continuous?