User David Spivak

55 votes

2 answers

9k views

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

asked Jan 27, 2010 at 19:28

36 votes

2 answers

3k views

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

asked Mar 19, 2013 at 17:34

26 votes

2 answers

5k views

What is known about the category of monads on Set?

asked Feb 12, 2011 at 4:31

25 votes

2 answers

1k views

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

asked Aug 1, 2018 at 1:00

24 votes

0 answers

918 views

The topologies for which a presheaf is a sheaf?

asked Apr 13, 2014 at 17:44

22 votes

2 answers

467 views

Is the order on repeated exponentiation the Dyck order?

asked Jan 1, 2018 at 22:55

20 votes

11 answers

16k views

What to do with antique math books?

asked Dec 26, 2009 at 14:54

19 votes

4 answers

1k views

How to triangulate a math reference?

asked Mar 13, 2013 at 0:06

18 votes

1 answer

2k views

Are Lurie's operads special SMCs?

asked Mar 26, 2013 at 20:50

18 votes

1 answer

385 views

Categorical description of log as approximate rig homomorphism?

asked Jan 18, 2020 at 15:27

17 votes

2 answers

517 views

Characterize constant objects in the internal language of a topos?

asked Aug 1, 2017 at 15:05

17 votes

3 answers

1k views

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

asked Feb 26, 2010 at 20:48

17 votes

1 answer

1k views

What braking strategy is most fuel-efficient?

asked Jul 25, 2010 at 19:06

15 votes

1 answer

2k views

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

asked Aug 13, 2010 at 19:37

15 votes

5 answers

1k views

Monoids with infinite products

asked Sep 8, 2010 at 18:29

15 votes

3 answers

518 views

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

asked Nov 4, 2016 at 0:30

14 votes

1 answer

391 views

Reference request: Heyting algebra structure on Catalan numbers

asked Jun 17, 2017 at 0:31

14 votes

1 answer

790 views

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

asked Jan 31, 2015 at 23:17

14 votes

2 answers

490 views

Which spaces have enough curves

asked Jun 16, 2016 at 3:12

14 votes

2 answers

1k views

How divisible is the average integer?

asked Jul 24, 2010 at 2:19

12 votes

4 answers

1k views

"Linked List" puzzle

asked Jan 27, 2010 at 19:50

12 votes

1 answer

540 views

Categorical interpretation of disjoint cycle notation for tracing permutations

asked May 30, 2014 at 17:10

12 votes

2 answers

786 views

Examples of non-polynomial comonads on Set?

asked Nov 2, 2023 at 0:36

11 votes

1 answer

483 views

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

asked Jun 25, 2017 at 22:23

11 votes

1 answer

804 views

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

asked Aug 25, 2019 at 14:51

11 votes

3 answers

565 views

Is Stoch enriched in Met?

asked Nov 23, 2019 at 1:18

11 votes

3 answers

480 views

Example of non-"propositional" local operators on a topos?

asked Apr 28, 2018 at 15:51

11 votes

0 answers

305 views

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

asked Sep 11, 2010 at 22:04

10 votes

1 answer

503 views

Bundle-to-function correspondence

asked Aug 22, 2010 at 14:43

10 votes

1 answer

631 views

Reference for my monads?

asked Feb 20, 2013 at 17:15

Stack Exchange Network

77 Questions

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

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

What is known about the category of monads on Set?

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

The topologies for which a presheaf is a sheaf?

Is the order on repeated exponentiation the Dyck order?

What to do with antique math books?

How to triangulate a math reference?

Are Lurie's operads special SMCs?

Categorical description of log as approximate rig homomorphism?

Characterize constant objects in the internal language of a topos?

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

What braking strategy is most fuel-efficient?

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

Monoids with infinite products

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

Reference request: Heyting algebra structure on Catalan numbers

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

Which spaces have enough curves

How divisible is the average integer?

"Linked List" puzzle

Categorical interpretation of disjoint cycle notation for tracing permutations

Examples of non-polynomial comonads on Set?

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

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

Is Stoch enriched in Met?

Example of non-"propositional" local operators on a topos?

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

Bundle-to-function correspondence

Reference for my monads?