User Ken

13 votes

0 answers

586 views

Higher Algebra, Theorem 2.4.3.18 and Remark 2.4.3.6

asked Nov 29, 2022 at 6:57

13 votes

0 answers

215 views

Generalized $\infty$-operads are an analog of ??? in $\infty$-category theory

asked Jul 15 at 7:44

11 votes

2 answers

315 views

Reference request - Fibrations between spaces of embeddings

asked May 29, 2023 at 7:50

10 votes

2 answers

719 views

Effective epimorphisms and 0-truncations (HTT, 7.2.1.14)

asked Aug 17, 2023 at 7:44

9 votes

2 answers

421 views

How do these definitions of factorization algebra compare?

asked Sep 16, 2023 at 6:20

9 votes

1 answer

547 views

Proposition A.2.6.15 in HTT

asked May 20, 2022 at 6:14

8 votes

2 answers

583 views

Homotopic but not equivariantly homotopic maps

asked Jun 15, 2023 at 9:30

8 votes

1 answer

483 views

Why does the tangent classifier classify the tangent (micro)bundle?

asked Jan 16, 2023 at 3:30

7 votes

2 answers

392 views

HTT, Remark 4.2.4.5

asked Feb 16, 2023 at 4:53

7 votes

1 answer

226 views

$\operatorname{Fun}(\mathcal{C},\mathcal{D})^n$ is a subcategory of $\operatorname{Fun}(\mathcal{C}^n,\mathcal{D}^n)$

asked Jun 15 at 10:14

7 votes

2 answers

575 views

Simplicial nerve of a topological group

asked Jul 1, 2022 at 0:23

6 votes

0 answers

237 views

Higher Algebra, Propositions 2.3.4.5 and 2.3.4.9

asked Dec 13, 2022 at 1:54

6 votes

3 answers

578 views

Density Theorem for $\infty$-Categories (HTT, Lemma 5.1.5.3)

asked Oct 1, 2022 at 6:10

6 votes

0 answers

315 views

Functorial identification of the mapping spaces of the arrow category of an $\infty$-category

asked Nov 1, 2022 at 6:54

6 votes

0 answers

118 views

Homotopy fibers in the Joyal model structure and the Kan–Quillen model structure

asked Mar 24, 2023 at 1:45

6 votes

1 answer

294 views

Why does Bott's obstruction theorem imply the vanishing of some cohomology classes of $B\Gamma_q$?

asked Jan 16 at 10:18

6 votes

0 answers

147 views

Are cofibrant objects flat with respect to Day convolution?

asked Nov 23 at 6:37

5 votes

1 answer

196 views

Localization and space of morphisms

asked Jun 19, 2023 at 10:26

5 votes

1 answer

258 views

Cofinal maps from posets (HTT, 4.2.3.16)

asked Jul 2, 2023 at 6:16

4 votes

1 answer

228 views

The effect of straightening on morphisms

asked May 29, 2022 at 9:45

4 votes

0 answers

88 views

On coproducts of presentably symmetric monoidal $\infty$-categories

asked Aug 15 at 7:08

4 votes

1 answer

256 views

Why is the universal $n$-gerbe universal? (HTT, 7.2.2.26)

asked Apr 13 at 1:13

4 votes

0 answers

59 views

Equivalence of two definitions of relative limits

asked Jul 15 at 7:20

3 votes

1 answer

372 views

Homotopy coherent nerve versus simplicial nerve

asked Jul 7, 2022 at 1:56

3 votes

0 answers

181 views

Colimits in the idempotent completion (Proof of Theorem 5.5.1.1, HTT)

asked Oct 16, 2022 at 7:31

2 votes

1 answer

82 views

Reference request-Natural equivalence detected pointwise for complete Segal spaces

asked Oct 21, 2023 at 1:40

2 votes

1 answer

159 views

"$X$ is $n$-truncated $\iff$ $\Omega X$ is $(n-1)$-truncated" for connected pointed $X$. (HTT, 7.2.2.11)

asked Apr 13 at 0:31

0 votes

1 answer

127 views

A sufficient condition for a collection of open sets of a manifold to contain all open sets

asked Nov 12, 2023 at 8:13

Stack Exchange Network

28 Questions

Higher Algebra, Theorem 2.4.3.18 and Remark 2.4.3.6

Generalized $\infty$-operads are an analog of ??? in $\infty$-category theory

Reference request - Fibrations between spaces of embeddings

Effective epimorphisms and 0-truncations (HTT, 7.2.1.14)

How do these definitions of factorization algebra compare?

Proposition A.2.6.15 in HTT

Homotopic but not equivariantly homotopic maps

Why does the tangent classifier classify the tangent (micro)bundle?

HTT, Remark 4.2.4.5

$\operatorname{Fun}(\mathcal{C},\mathcal{D})^n$ is a subcategory of $\operatorname{Fun}(\mathcal{C}^n,\mathcal{D}^n)$

Simplicial nerve of a topological group

Higher Algebra, Propositions 2.3.4.5 and 2.3.4.9

Density Theorem for $\infty$-Categories (HTT, Lemma 5.1.5.3)

Functorial identification of the mapping spaces of the arrow category of an $\infty$-category

Homotopy fibers in the Joyal model structure and the Kan–Quillen model structure

Why does Bott's obstruction theorem imply the vanishing of some cohomology classes of $B\Gamma_q$?

Are cofibrant objects flat with respect to Day convolution?

Localization and space of morphisms

Cofinal maps from posets (HTT, 4.2.3.16)

The effect of straightening on morphisms

On coproducts of presentably symmetric monoidal $\infty$-categories

Why is the universal $n$-gerbe universal? (HTT, 7.2.2.26)

Equivalence of two definitions of relative limits

Homotopy coherent nerve versus simplicial nerve

Colimits in the idempotent completion (Proof of Theorem 5.5.1.1, HTT)

Reference request-Natural equivalence detected pointwise for complete Segal spaces

"$X$ is $n$-truncated $\iff$ $\Omega X$ is $(n-1)$-truncated" for connected pointed $X$. (HTT, 7.2.2.11)

A sufficient condition for a collection of open sets of a manifold to contain all open sets