User David Spivak

22 votes

Use of Conjectures to Prove a Theorem

answered Jul 24, 2010 at 3:29

16 votes

Accepted

Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?

answered May 19, 2015 at 14:32

8 votes

Reference request: Heyting algebra structure on Catalan numbers

answered Jun 17, 2017 at 3:30

6 votes

Big list of comonads

answered Apr 13, 2020 at 1:27

6 votes

Is a topology determined by its convergent sequences?

answered Aug 22, 2010 at 21:09

6 votes

Accepted

Bundle-to-function correspondence

answered Sep 17, 2010 at 18:23

4 votes

Obtaining Lawvere's "State categories and response functors"

answered Jun 26, 2017 at 2:23

4 votes

Use of the word "data" not in the statistical sense

answered Dec 26, 2009 at 15:35

3 votes

Is there a natural measures on the space of measurable functions?

answered Nov 13, 2015 at 15:02

3 votes

Categorical description of log as approximate rig homomorphism?

answered Jan 20, 2020 at 15:57

3 votes

The convolution of comonads is a comonad

answered Nov 2, 2023 at 1:00

3 votes

Is the evaluation of polynomial functors appropriately continuous?

answered Mar 7, 2013 at 23:14

2 votes

Graphical representation of mathematical structures (in the spirit of unified modeling language)

answered Aug 15, 2010 at 21:23

2 votes

Geometric interpretations of the exponential of entropy

answered Sep 6, 2021 at 18:50

1 vote

Configuration topos?

answered Nov 18, 2013 at 20:29

1 vote

Accepted

An orthogonal factorization system on 1-Cob?

answered Jul 1, 2015 at 17:12

0 votes

What is the growth rate for divisibility of integers

answered Jan 1, 2012 at 0:12

Stack Exchange Network

17 Answers

Use of Conjectures to Prove a Theorem

Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?

Reference request: Heyting algebra structure on Catalan numbers

Big list of comonads

Is a topology determined by its convergent sequences?

Bundle-to-function correspondence

Obtaining Lawvere's "State categories and response functors"

Use of the word "data" not in the statistical sense

Is there a natural measures on the space of measurable functions?

Categorical description of log as approximate rig homomorphism?

The convolution of comonads is a comonad

Is the evaluation of polynomial functors appropriately continuous?

Graphical representation of mathematical structures (in the spirit of unified modeling language)

Geometric interpretations of the exponential of entropy

Configuration topos?

An orthogonal factorization system on 1-Cob?

What is the growth rate for divisibility of integers