Rune Haugseng's user avatar
Rune Haugseng's user avatar
Rune Haugseng's user avatar
Rune Haugseng
  • Member for 13 years, 1 month
  • Last seen this week
30 votes
Accepted

Universal Property of the Smash Product (of pointed spaces)

12 votes
Accepted

The "$\infty$"-column in the periodic table of n-categories

9 votes
Accepted

Decomposing a (co)limit by decomposing the indexing diagram

8 votes
Accepted

Definitions of enriched monoidal category

8 votes
Accepted

Stable ∞-categories as spectral categories

7 votes

Rational parameterized spectra

6 votes
Accepted

Lurie's Endomorphism Space vs. Endomorphisms

6 votes

What is the symmetric monoidal structure on the $(\infty,1)$-category of spectra?

5 votes
Accepted

For a quasicategory $C$, why is $\mathrm{Fun}(\Lambda^2_0,C) \to \mathrm{Fun}(\Delta^{\{2\}},C) \cong C$ a cocartesian fibration?

4 votes
Accepted

Functorial choice of pullbacks in a locally cartesian closed $(\infty,1)$-category

4 votes
Accepted

Left and right Kan extensions

4 votes
Accepted

Making the ($\infty$-categorical) Bar construction valued in (bi)-modules

3 votes
Accepted

Equivalent definitions of Cartesian Fibrations between Quasi-Categories

2 votes
Accepted

Pointwise evaluation of the Beck-Chevalley map in $\infty$-categories