Daniel Schäppi's user avatar
Daniel Schäppi's user avatar
Daniel Schäppi's user avatar
Daniel Schäppi
  • Member for 14 years, 4 months
  • Last seen more than 8 years ago
18 votes

Does projective imply flat?

17 votes
Accepted

is the category of coherent sheaves some kind of abelian envelope of the category of vector bundles?

16 votes
Accepted

Are monads monadic?

15 votes
Accepted

Are grothendieck universes enough for the foundations of category theory?

13 votes
Accepted

Is a composite of (co)monadic adjunctions (co)monadic?

13 votes
Accepted

Local presentability and representable presheaves over the category of topological spaces

12 votes

Semiadditivity and dualizability of 2

10 votes

Does every cocontinuous functor between categories of presheaves on small categories have a right adjoint?

8 votes
Accepted

Push-outs of fully faithful (enriched) functors

8 votes

Coherence in pseudo.monoids

8 votes
Accepted

When does Tannakian theory work over affine schemes besides fields?

7 votes

Limitations on model-categorical presentations

7 votes

What theorem constructs an initial object for this category? (Formerly "Integrability by abstract nonsense")

7 votes
Accepted

In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?

6 votes
Accepted

Exactness of an additive left Kan extension

6 votes
Accepted

Do unbounded chain complexes have enough injectives?

5 votes

Reference request: (co)limits in Eilenberg--Moore (V-)categories

5 votes

is localization of category of categories equivalent to |Cat|

5 votes

Small and large sets

5 votes

In a k-linear category, what is the tensor product between a hom space and an object?

5 votes
Accepted

Two questions about total categories

4 votes

Description of quasi-coherent modules on a product

2 votes
Accepted

Does trace handle composition in a traced symmetric monoidal category?

0 votes

Role of fiber functor monoidal structure in Tannakian bialgebra reconstruction