Geodesic
Range categories II: Towards regularity
Theory and applications of categories, Tome 26 (2012), pp. 453-500

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

In this paper, which is the second part of a study of partial map categories with images, we investigate the interaction between images and various other kinds of categorical structure and properties. In particular, we consider images in the context of partial products, meets and discreteness and survey a taxonomy of structures leading towards the partial map categories of regular categories. We also present a term logic for cartesian partial map categories with images and prove a soundness and completeness theorem for this logic. Finally, we exhibit several free constructions relating the different classes of categories under consideration.

Publié le :
Classification : 18A15, 18A32, 18D20
Keywords: Categories of partial maps, restriction category, factorization systems 
@article{TAC_2012_26_a17,
     author = {J.R.B. Cockett and Xiuzhan Guo and Pieter Hofstra},
     title = {Range categories {II:} {Towards} regularity},
     journal = {Theory and applications of categories},
     pages = {453--500},
     publisher = {mathdoc},
     volume = {26},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2012_26_a17/}
}
TY  - JOUR
AU  - J.R.B. Cockett
AU  - Xiuzhan Guo
AU  - Pieter Hofstra
TI  - Range categories II: Towards regularity
JO  - Theory and applications of categories
PY  - 2012
SP  - 453
EP  - 500
VL  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2012_26_a17/
LA  - en
ID  - TAC_2012_26_a17
ER  - 
%0 Journal Article
%A J.R.B. Cockett
%A Xiuzhan Guo
%A Pieter Hofstra
%T Range categories II: Towards regularity
%J Theory and applications of categories
%D 2012
%P 453-500
%V 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2012_26_a17/
%G en
%F TAC_2012_26_a17
J.R.B. Cockett; Xiuzhan Guo; Pieter Hofstra. Range categories II: Towards regularity. Theory and applications of categories, Tome 26 (2012), pp. 453-500. http://geodesic.mathdoc.fr/item/TAC_2012_26_a17/