Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9497117 | Journal of Pure and Applied Algebra | 2005 | 21 Pages |
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 catker, 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 catkerL the 2-category of algebras for a coKZ-doctrine L on catker. 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 catker.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
C. Centazzo, R.J. Wood,