Lax factorisation systems and categories of partial maps
 
 
Description:  Factorisation systems describe morphisms in a category by factorising them into pairs of composable morphisms. Their definition depends on an orthogonality relation between morphisms, which entails the existence of some diagonal morphisms for certain squares. In this seminar we present the new notion of lax weak orthogonality between morphisms, which involves lax squares and the factorisation systems it generates. Then we will introduce lax versions of functorial and algebraic weak factorisation systems and some of their properties. These lax factorisation systems are discussed, keeping the theory of ordinary factorisation systems as a blueprint and providing useful properties.
An overview of the examples of such lax factorisation systems is presented in the context of partial maps. We conclude with a discussion of general constructions of these examples and their description in the particular case of sets with partial maps.
Date:  2021-07-20
Start Time:   15:00
Speaker:  Leonardo Larizza (PhD student, CMUC)
Institution:  Universidade de Coimbra
Place:  Zoom
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support