Geodesic
On factorisation systems for Ord-enriched categories and categories of partial maps
Theory and applications of categories, Tome 37 (2021), pp. 1194-1221

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

In this work we discuss a new type of factorisation system for Ord-enriched categories. We start by defining the new notion of lax weak orthogonality, which involves the existence of lax diagonal morphisms for lax squares. Using the usual theory of factorisation systems as a blueprint, we introduce a lax version of weak and functorial factorisation systems. We provide a characterisation of lax functorial weak factorisation systems, namely lax weak factorisation systems such that their factorisations are lax functorial. Then, we present a particular case of such lax functorial weak factorisation systems which are equipped with additional lax monad structures. We finally explore some examples of these factorisation systems for categories of partial maps equipped with natural Ord-enrichments. We will first construct a particular lax algebraic weak factorisation system for categories of partial maps that isolates the total datum and the partial domain of a partial map. Then we will discuss the relation between factorisation systems on the base category and oplax factorisation systems on the induced category of partial maps.

Publié le :
Classification : 18A20, 18A32, 18B10, 18B35, 18D20
Keywords: Factorization systems, Lax arrow categories, Ord-enriched categories, Partial maps 
@article{TAC_2021_37_a35,
     author = {Leonardo Larizza},
     title = {On factorisation systems for {Ord-enriched} categories and categories of partial maps},
     journal = {Theory and applications of categories},
     pages = {1194--1221},
     publisher = {mathdoc},
     volume = {37},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a35/}
}
TY  - JOUR
AU  - Leonardo Larizza
TI  - On factorisation systems for Ord-enriched categories and categories of partial maps
JO  - Theory and applications of categories
PY  - 2021
SP  - 1194
EP  - 1221
VL  - 37
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2021_37_a35/
LA  - en
ID  - TAC_2021_37_a35
ER  - 
%0 Journal Article
%A Leonardo Larizza
%T On factorisation systems for Ord-enriched categories and categories of partial maps
%J Theory and applications of categories
%D 2021
%P 1194-1221
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a35/
%G en
%F TAC_2021_37_a35
Leonardo Larizza. On factorisation systems for Ord-enriched categories and categories of partial maps. Theory and applications of categories, Tome 37 (2021), pp. 1194-1221. http://geodesic.mathdoc.fr/item/TAC_2021_37_a35/