List questions from higher-category-theory

Published on 26 Feb 2022 - 2:19

141

Views

Motivation for Quasicategories

Published on 30 Mar 2026 - 3:53

108

Views

How is the internal hom in $\mathsf{sSet}/\mathcal C$ defined?

Published on 30 Mar 2026 - 4:00

83

Views

Slice and Internal Hom; On the Definition of a Map $\underline{\operatorname{Hom}}(A,X/x)\to \underline{\operatorname{Hom}}(A,X)/x$

Published on 30 Mar 2026 - 4:00

100

Views

Universal characterization of the arrow (interval, ordinal, 1-simplex) object? (Is $2$-category theory actually needed?)

Published on 28 Mar 2026 - 4:34

123

Views

HA, 1.1.1.7, Lurie

Published on 26 Mar 2026 - 8:15

361

Views

What is problematic with formalizing higher category theory directly in HoTT

Published on 10 Apr 2022 - 2:05

40

Views

Can you internalize the single sorted definition of a category without pullbacks?

Published on 03 May 2022 - 16:45

97

Views

Is There a Notion of Diagram in Multicategories and/or Operads?

Published on 25 Mar 2026 - 16:03

58

Views

Cocartesian edge gives contractible choice of filling in commutative diagram

Published on 30 Mar 2026 - 5:30

61

Views

G be a finite group, C^× the non-zero complex numbers with trivial G-module structure. then H^2(G, C×) is finite.

Published on 21 May 2022 - 21:18

82

Views

Simplicial maps defined on non degenerate simplices

Published on 30 Mar 2026 - 5:25

37

Views

Calculating the limit over $\partial \Delta ^2$

Published on 30 Mar 2026 - 5:23

38

Views

Defining the n-glob as a HIT

Published on 03 Jun 2022 - 23:11

88

Views

Good reference for learning about Coinduction

Published on 07 Jun 2022 - 18:51

List Question

Does the left adjoint of the homotopy coherent nerve have a name?

Motivation for Quasicategories

How is the internal hom in $\mathsf{sSet}/\mathcal C$ defined?

Slice and Internal Hom; On the Definition of a Map $\underline{\operatorname{Hom}}(A,X/x)\to \underline{\operatorname{Hom}}(A,X)/x$

Universal characterization of the arrow (interval, ordinal, 1-simplex) object? (Is $2$-category theory actually needed?)

HA, 1.1.1.7, Lurie

What is problematic with formalizing higher category theory directly in HoTT

Can you internalize the single sorted definition of a category without pullbacks?

Is There a Notion of Diagram in Multicategories and/or Operads?

Cocartesian edge gives contractible choice of filling in commutative diagram

G be a finite group, C^× the non-zero complex numbers with trivial G-module structure. then H^2(G, C×) is finite.

Simplicial maps defined on non degenerate simplices

Calculating the limit over $\partial \Delta ^2$

Defining the n-glob as a HIT

Good reference for learning about Coinduction

Trending Questions

Popular # Hahtags

Popular Questions