Skip to main content
2 of 2
added 125 characters in body
David Roberts
  • 35.5k
  • 11
  • 124
  • 349

This idea originates in homotopy theory and is due to Jardine, "Simplicial presheaves", JPAA 47 Issue 1 (1987) pp 35–87, https://doi.org/10.1016/0022-4049(87)90100-9 (pdf).

One can not take for $X$ any site, this definition only works in a topos with "enough points".

Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201