A factorization of regularity

Centazzo, Claudia;Wood, RJ
(2005) Journal of Pure and Applied Algebra — Vol. 203, n° 1-3, p. 83-103 (2005)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 280.61 KB

Details

Authors
  • Centazzo, ClaudiaUCLouvain
    Author
  • Wood, RJ
    Author
Abstract
Earlier, the authors showed that categories with regular factorizations (in the sense, of Kelly) and with regular epimorphisms closed under composition, are algebras for a KZ-doctrine R on the 2-category cat(ker), of all categories and functors which preserve kernel inclusions. Here we show that the usual 2-category lex, of categories with finite limits and left exact functors, is cat(ker)(L), the 2-category of algebras for a coKZ-doctrine Y on cat(ker). Combined with our earlier results this shows that the 2-category reg, of regular categories and regular functors, is the 2-category of algebras for a distributive law LR -> RL over the 2-category cat(ker). (c) 2005 Elsevier B.V. All rights reserved.
Affiliations

Citations

Centazzo, C., & Wood, R. (2005). A factorization of regularity. Journal of Pure and Applied Algebra, 203(1-3), 83-103. https://doi.org/10.1016/j.jpaa.2005.02.007 (Original work published 2005)