Monday, 29 June 2015

ct.category theory - Strong monics in the category of locales

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.

No comments:

Post a Comment