Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/8451
Title: | Internal monotone-light factorization for categories via preorders |
Author: | Xarez, J.J. |
Keywords: | (reflexive) graph (reflexive) relation Category Preorder Factorization system Localization Stabilization Descent theory Galois theory Monotone-light factorization |
Issue Date: | 2004 |
Publisher: | Mount Allison University |
Abstract: | It is shown that, for a finitely-complete category C with coequalizers of kernel pairs, if every product-regular epi is also stably-regular then there exist the reflections (R)Grphs(C) → (R)Rel(C), from (reflexive) graphs into (reflexive) relations in C, and Cat(C) → Preord(C), from categories into preorders in C. Furthermore, such a sufficient condition ensures as well that these reflections do have stable units. This last property is equivalent to the existence of a monotone-light factorization system, provided there are sufficiently many effective descent morphisms with domain in the respective full subcategory. In this way, we have internalized the monotone-light factorization for small categories via preordered sets, associated with the reflection Cat → Preord, which is now just the special case C = Set. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/8451 |
ISSN: | 1201-561X |
Publisher Version: | http://www.tac.mta.ca/tac/ |
Appears in Collections: | CIDMA - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Internal m.-l. fact TAC13-15.pdf | 163.46 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.