Skip to main content
Became Hot Network Question
added 41 characters in body
Source Link
Yitzhak Z
  • 311
  • 1
  • 7

Suppose $(\mathcal{C},\mathcal{W})$ is a relative category (we can assume $\mathcal{C}$ is small for the matter). Is there any work which deal with constructing a relative category structure on $\mathbf{P}(\mathcal{C})$ - the category of $\mathbf{Set}$-valued presheaves on $\mathcal{C}$ extending the structure on $\mathcal{C}$?

Suppose $(\mathcal{C},\mathcal{W})$ is a relative category (we can assume $\mathcal{C}$ is small for the matter). Is there any work which deal with constructing a relative category structure on $\mathbf{P}(\mathcal{C})$ - the category of $\mathbf{Set}$-valued presheaves on $\mathcal{C}$?

Suppose $(\mathcal{C},\mathcal{W})$ is a relative category (we can assume $\mathcal{C}$ is small for the matter). Is there any work which deal with constructing a relative category structure on $\mathbf{P}(\mathcal{C})$ - the category of $\mathbf{Set}$-valued presheaves on $\mathcal{C}$ extending the structure on $\mathcal{C}$?

Source Link
Yitzhak Z
  • 311
  • 1
  • 7

Relative category structure on (Set valued) presheaves

Suppose $(\mathcal{C},\mathcal{W})$ is a relative category (we can assume $\mathcal{C}$ is small for the matter). Is there any work which deal with constructing a relative category structure on $\mathbf{P}(\mathcal{C})$ - the category of $\mathbf{Set}$-valued presheaves on $\mathcal{C}$?