0
$\begingroup$

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

Improve this question
$\endgroup$

1 Answer 1

Reset to default
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.

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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .