0
$\begingroup$

Are there non-regular strong monics in the category of locales?

$\endgroup$

1 Answer 1

5
$\begingroup$

No. The category of locales is dual to the category of frames, which is monadic (in fact, equationally presented) over Set. Any such category is Barr-exact, and in particular a regular category, which implies that every strong epic of frames is regular—hence every strong monic of locales is regular.

$\endgroup$
1
  • $\begingroup$ Yep. Just found it myself in Sketches of an Elephant A.1.3.4. Thank you, though! $\endgroup$
    – John Iskra
    Jan 4, 2010 at 23:01

Your Answer

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

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