User David Spivak

4 votes

0 answers

213 views

The ring generated by measures

asked Mar 7, 2012 at 14:29

4 votes

0 answers

342 views

When is taking an average (mean) an algebraic operation in the sense of monads?

asked Feb 25, 2011 at 21:59

4 votes

0 answers

77 views

Minimizing the cost of clustering a hypergraph

asked Aug 19, 2016 at 15:27

4 votes

3 answers

282 views

An orthogonal factorization system on 1-Cob?

asked Jul 31, 2014 at 2:14

4 votes

0 answers

271 views

Whitney-like embedding theorem for posets?

asked Jul 9, 2017 at 13:36

4 votes

0 answers

127 views

Can a non-free monad have non-trivial "quine"?

asked Feb 24, 2023 at 2:21

3 votes

1 answer

140 views

Lawvere metrics on the poset of subgroups of Z?

asked Apr 14, 2019 at 14:58

3 votes

1 answer

165 views

Characterize pullback functors among copresheaf-pra's

asked Jul 10, 2020 at 2:48

3 votes

1 answer

171 views

Parameter estimation using bayesian update on moduli space?

asked Apr 21, 2014 at 1:54

3 votes

0 answers

187 views

When do pushouts along epis preserve products?

asked Jun 22, 2016 at 14:40

3 votes

0 answers

108 views

When is a functorial coverage a sheaf, and what universal property does it have?

asked Jun 25, 2016 at 14:55

3 votes

1 answer

380 views

Does F_* have a description in terms of the Grothendieck construction?

asked Aug 20, 2010 at 21:52

3 votes

1 answer

250 views

Exact squares containing a cospan: what is known about this category?

asked Dec 21, 2013 at 20:05

2 votes

0 answers

177 views

How to characterize good "models" of a category

asked Aug 15, 2010 at 19:45

2 votes

2 answers

555 views

What is the growth rate for divisibility of integers

asked Jan 1, 2012 at 0:00

2 votes

0 answers

59 views

Index-coclosure for monoidal categories, generalizing products and lextensive coproducts

asked Jun 29, 2022 at 4:40

2 votes

0 answers

267 views

Finite-dimensional vector spaces vs. matrices over a semiring

asked Dec 30, 2016 at 18:53

Stack Exchange Network

77 Questions

The ring generated by measures

When is taking an average (mean) an algebraic operation in the sense of monads?

Minimizing the cost of clustering a hypergraph

An orthogonal factorization system on 1-Cob?

Whitney-like embedding theorem for posets?

Can a non-free monad have non-trivial "quine"?

Lawvere metrics on the poset of subgroups of Z?

Characterize pullback functors among copresheaf-pra's

Parameter estimation using bayesian update on moduli space?

When do pushouts along epis preserve products?

When is a functorial coverage a sheaf, and what universal property does it have?

Does F_* have a description in terms of the Grothendieck construction?

Exact squares containing a cospan: what is known about this category?

How to characterize good "models" of a category

What is the growth rate for divisibility of integers

Index-coclosure for monoidal categories, generalizing products and lextensive coproducts

Finite-dimensional vector spaces vs. matrices over a semiring