Bartosz Milewski on Nostr: I'm struggling with the definition of the category of elements--the direction of ...
I'm struggling with the definition of the category of elements--the direction of morphisms. Grothendieck worked with presheaves \(C^{op} \to \mathbf{Set}\), with a morphism \(a, x) \to (b, y)\) being an an arrow \(a \to b\) in \(C\). The question is, what is it for co-presheaves? Is it \(b \to a\)? nLab defines it as \(a \to b\) and doesn't talk about presheaves. Emily Riehl defines both as \(a \to b\), which makes one wonder what it is for \(C^{op}^{op} \to \mathbf{Set}\), not to mention \(C^{op}\times C \to \mathbf{Set}\).
Published at
2024-05-10 11:00:10Event JSON
{
"id": "370334245801d6650102cc6e32cc7e85e03fb27688218f66900158a4d51f112d",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1715338810,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/112416444270987476",
"activitypub"
]
],
"content": "I'm struggling with the definition of the category of elements--the direction of morphisms. Grothendieck worked with presheaves \\(C^{op} \\to \\mathbf{Set}\\), with a morphism \\(a, x) \\to (b, y)\\) being an an arrow \\(a \\to b\\) in \\(C\\). The question is, what is it for co-presheaves? Is it \\(b \\to a\\)? nLab defines it as \\(a \\to b\\) and doesn't talk about presheaves. Emily Riehl defines both as \\(a \\to b\\), which makes one wonder what it is for \\(C^{op}^{op} \\to \\mathbf{Set}\\), not to mention \\(C^{op}\\times C \\to \\mathbf{Set}\\).",
"sig": "1bb7e97175c443b08393ccd3225250b5fe141a0cf5009849ac1aa4f1b537efceddff60f692e921b25049e7880ffab6adf8e960143c8bcb67c67a01a20bd36256"
}