user avatar
user avatar
user avatar
Alexander Campbell
  • Member for 7 years, 9 months
  • Last seen this week
27 votes
Accepted

Joyal's letter to Grothendieck

25 votes
Accepted

What is Barr-Beck?

19 votes
Accepted

History of integral notation for coends

18 votes
Accepted

Are generators defined in Tohoku paper equivalent to that defined in Wikipedia (Which I believe is a more widely used definition)

17 votes
Accepted

Is the tensor product of chain complexes a Day convolution?

15 votes
Accepted

Do filtered colimits commute with finite limits in the category of pointed sets?

15 votes

What are the points (and generalized points) of the topos of condensed sets?

14 votes
Accepted

Is there any references on the tensor product of presentable (1-)categories?

13 votes
Accepted

What are "nearly initial" objects really called?

12 votes
Accepted

Is there a Yoneda structure on $\bf PDer$?

12 votes
Accepted

Non-Cartesian Monoidal Model Structure on a Slice Category

12 votes
Accepted

Correspondences of $\infty$-categories

11 votes
Accepted

Weak complicial sets: Are the morphisms too strict?

11 votes
Accepted

The Gray tensor product as a Kan extension

10 votes
Accepted

Yoneda Lemma for internal presheaves

10 votes
Accepted

2-natural operations on toposes

10 votes
Accepted

Proof of existence of Joyal model structure via Cisinski theory?

10 votes
Accepted

A fibration equivalent to having a terminal object

9 votes

Can an enriched functor be expressed as a colimit of representable functors?

8 votes
Accepted

Is a category regular iff extremal epis and monomorphisms are a strong factorization system?

8 votes
Accepted

Comma category as weighted limit

8 votes
Accepted

What is the right adjoint of the tensor product in a closed monoidal functor category?

8 votes
Accepted

$\omega$-nerve versus $\Theta$-nerve

8 votes

What are _all_ of the exactness properties enjoyed by stable $\infty$-categories?

8 votes
Accepted

The convolution of comonads is a comonad

8 votes
Accepted

Explicit description of the left adjoint $\mathfrak{F}$ to the relative nerve

8 votes
Accepted

Does the Dwyer-Kan model structure make dgCat a model $2$-category?

8 votes
Accepted

This is not a tensor: tensoring abelian groups over groups

7 votes
Accepted

Diagonal of a diagram of codescent objects

7 votes

A construction of the universal cocartesian fibration