List questions from higher-category-theory

131

Views

Is $\mathbf{Cat}/\mathcal{C}\simeq\mathbf{Cat}^{\mathcal C^\mathrm{op}}$ when $\mathcal C$ is a $1$-category?

Published on 23 Mar 2026 - 18:18

68

Views

Quasi-isomorphism of an $A_\infty$ module and its cohomology

Published on 14 Feb 2019 - 16:00

371

Views

Bousfield-Kan Formula for Homotopy Limits

Published on 28 Feb 2019 - 19:32

61

Views

Regular categories and composite regular epis.

Published on 23 Feb 2026 - 1:17

202

Views

0-truncation of infinity-presheaves

Published on 06 Mar 2019 - 11:47

85

Views

Base change of topological operad to any symmetric monoidal model category and $E_n$-algebras outside of $\textbf{Top}$

Published on 22 Mar 2026 - 8:56

571

Views

Higher inductive type: what for?

Published on 25 Mar 2026 - 14:19

151

Views

Ind-completion of a 2-category

Published on 23 Mar 2026 - 5:47

75

Views

Monoidal categories in which some tensor products of morphisms are equal

Published on 23 Mar 2019 - 2:55

149

Views

Category Theory after CatsNSheaves

Published on 24 Mar 2019 - 21:55

156

Views

Definition of distinguished triangles of the underlying triangulated category of a stable infinity category

Published on 14 Jun 2019 - 19:07

101

Views

Proof all anodyne extensions come from saturating $\Lambda_I^0({}, M)$

Published on 19 Jun 2019 - 5:28

94

Views

Weak $n$-Category

Published on 24 Jun 2019 - 1:33

203

Views

Why Strict 2 group is equivalent to Group object in Category of Categories?

Published on 23 Mar 2026 - 7:51

490

Views

Higher categories for category theorists?

Published on 10 Jul 2019 - 21:34

List Question

Is $\mathbf{Cat}/\mathcal{C}\simeq\mathbf{Cat}^{\mathcal C^\mathrm{op}}$ when $\mathcal C$ is a $1$-category?

Quasi-isomorphism of an $A_\infty$ module and its cohomology

Bousfield-Kan Formula for Homotopy Limits

Regular categories and composite regular epis.

0-truncation of infinity-presheaves

Base change of topological operad to any symmetric monoidal model category and $E_n$-algebras outside of $\textbf{Top}$

Higher inductive type: what for?

Ind-completion of a 2-category

Monoidal categories in which some tensor products of morphisms are equal

Category Theory after CatsNSheaves

Definition of distinguished triangles of the underlying triangulated category of a stable infinity category

Proof all anodyne extensions come from saturating $\Lambda_I^0({}, M)$

Weak $n$-Category

Why Strict 2 group is equivalent to Group object in Category of Categories?

Higher categories for category theorists?

Trending Questions

Popular # Hahtags

Popular Questions