List questions from higher-category-theory

152

Views

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

Published on 29 Apr 2026 - 12:18

71

Views

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

Published on 15 Apr 2026 - 0:08

374

Views

Bousfield-Kan Formula for Homotopy Limits

Published on 09 Apr 2026 - 16:01

65

Views

Regular categories and composite regular epis.

Published on 17 Apr 2026 - 15:04

205

Views

0-truncation of infinity-presheaves

Published on 15 Apr 2026 - 13:08

90

Views

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

Published on 25 Apr 2026 - 10:07

575

Views

Higher inductive type: what for?

Published on 11 Apr 2026 - 0:52

160

Views

Ind-completion of a 2-category

Published on 10 May 2026 - 12:42

78

Views

Monoidal categories in which some tensor products of morphisms are equal

Published on 13 Apr 2026 - 23:48

152

Views

Category Theory after CatsNSheaves

Published on 16 Apr 2026 - 10:55

159

Views

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

Published on 16 Apr 2026 - 18:47

102

Views

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

Published on 25 Mar 2026 - 21:46

99

Views

Weak $n$-Category

Published on 16 Apr 2026 - 20:14

209

Views

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

Published on 29 Apr 2026 - 17:16

494

Views

Higher categories for category theorists?

Published on 14 Apr 2026 - 19:50

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