Are there non-regular strong monics in the category of locales?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
0
1
|
|
|||
|
|
|
3
|
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. |
|||
|
