6
$\begingroup$

Let $D$ be a small category. Does the category of diagrams $\mathsf{Top}^{D^{\text{op}}}$ have a classifier of (strong?) subobjects? I tried following the "sieve construction" for the category of presheaves, but I don't see what topology to put on the set of sieves on an object in $D$ (or perhaps this won't work anyway).

I'm also wondering whether the existence of (strong?) subobject classifier has anything at all to do with the existence of a (strong) subobject classifier in $\mathsf{Top}$, or whether this is more or less unrelated.

$\endgroup$
1
  • $\begingroup$ You might be interested in the representation of Top via a large limit sketch, see arxiv.org/abs/2106.11115. This induces a limit sketch for the presheaf category as well. $\endgroup$ Nov 5, 2022 at 23:24

1 Answer 1

5
$\begingroup$

If any of these categories had a subobject classifier, every monomorphism would be regular, so that's not happening.

The indiscrete two-point space is a strong subobject classifier in $\mathsf{Top}.$ Similarly, the subobject classifier for $\mathsf{Set}^{D^{\mathrm{op}}},$ equipped with the indiscrete topology on its values, is a strong subobject classifier for $\mathsf{Top}^{D^{\mathrm{op}}}.$ This is because the forgetful functor to presheaves induces an isomorphism between strong subobjects of a topological presheaf and arbitrary subobjects of a set-valued presheaf.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.