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
13 votes
Accepted

Local presentability and representable presheaves over the category of topological spaces

12 votes

Semiadditivity and dualizability of 2

8 votes
Accepted

Push-outs of fully faithful (enriched) functors

8 votes

Coherence in pseudo.monoids

5 votes

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

18 votes

Does projective imply flat?

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

2 votes
Accepted

Does trace handle composition in a traced symmetric monoidal category?

13 votes
Accepted

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

17 votes
Accepted

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

6 votes
Accepted

Do unbounded chain complexes have enough injectives?

5 votes

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

15 votes
Accepted

Are grothendieck universes enough for the foundations of category theory?

4 votes

Description of quasi-coherent modules on a product

5 votes
Accepted

Two questions about total categories

7 votes

Limitations on model-categorical presentations

0 votes

Role of fiber functor monoidal structure in Tannakian bialgebra reconstruction

5 votes

Small and large sets

5 votes

is localization of category of categories equivalent to |Cat|

7 votes

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

10 votes

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

16 votes
Accepted

Are monads monadic?

8 votes
Accepted

When does Tannakian theory work over affine schemes besides fields?