* **categories: Sheaves as a localisation of separated presheaves**
**@ 2023-01-30 11:31 Richard Garner**
0 siblings, 0 replies; only message in thread
From: Richard Garner @ 2023-01-30 11:31 UTC (permalink / raw)
To: categories
Dear all,
If (C,J) is a site, then the category Sh(C) can be presented as a
category of fractions Psh(C)[D^-1] where D is the class of J-dense
monomorphisms. Morphisms in here are equivalence classes of partial maps
X --> Y whose domain is dense in X, and where the equivalence relation
is generated by the 2-cells of spans.
This is all well known. I am wondering if there is a reference for the
following fact: if one restricts to separated presheaves, then every
equivalence class of morphisms has a maximal representative, given by
the dense partial maps X <--< X' ---> Y whose graph X' >---> X*Y is a
J-closed monomorphism. So between separated presheaves, no quotienting
is necessary---beyond that inherent in the notion of subobject---though
now composition is no longer span composition on equivalence classes,
but rather span composition followed by J-closure.
The proof is rather easy but I am wondering if there is the even easier
possibility of citing something.
Thanks!
Richard
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [**flat**|nested] only message in thread

only message in thread, other threads:[~2023-01-30 20:13 UTC | newest]
**Thread overview:** (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-30 11:31 categories: Sheaves as a localisation of separated presheaves Richard Garner

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox