User John Gowers

18 votes

3 answers

1k views

A multicategory is a ... with one object?

asked Jan 11, 2019 at 13:21

15 votes

2 answers

696 views

Monoidal functors $\mathcal C \to [\mathcal D,\mathcal V]$ are monoidal functors $\mathcal C \otimes \mathcal D \to \mathcal V$?

asked Dec 27, 2018 at 10:38

14 votes

2 answers

1k views

How can any theory prove well-foundedness of ordinals above $\omega_1^{\text{CK}}$?

asked Jan 27, 2016 at 11:47

7 votes

0 answers

312 views

Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

asked Apr 15, 2015 at 12:19

5 votes

0 answers

395 views

Why is this transfinite game not determined?

asked Nov 4, 2016 at 15:02

4 votes

1 answer

332 views

What is the name for a natural transformation that has both lax and oplax monoidal properties?

asked Dec 22, 2017 at 12:29

3 votes

0 answers

120 views

What is the structure required to construct this homotopy of maps between mapping cones?

asked Jun 26, 2018 at 18:13

3 votes

0 answers

201 views

What is the name of this construction on monoidal categories?

asked Dec 5, 2017 at 17:44

2 votes

0 answers

145 views

What name can I use for a cocone over the mapping cone diagram?

asked Dec 15, 2017 at 23:36

Stack Exchange Network

9 Questions

A multicategory is a ... with one object?

Monoidal functors $\mathcal C \to [\mathcal D,\mathcal V]$ are monoidal functors $\mathcal C \otimes \mathcal D \to \mathcal V$?

How can any theory prove well-foundedness of ordinals above $\omega_1^{\text{CK}}$?

Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?

Why is this transfinite game not determined?

What is the name for a natural transformation that has both lax and oplax monoidal properties?

What is the structure required to construct this homotopy of maps between mapping cones?

What is the name of this construction on monoidal categories?

What name can I use for a cocone over the mapping cone diagram?