Reflectivity and its logics
 
 
Description:  In previous joint work with  Jirí  Adámek and Manuela Sobral we presented a logic for finitary epimorphisms which can be seen as an extension of Birkhoff's equational logic. In subsequent papers joint with Jirí Adámek and Michel Hébert, we obtained generalizations in several directions, in particular the Orthogonality Logic. I will give an account of these results and present recent work with Jirí Adámek and Jirí Velebil on a generalization of this last logic in the setting of order-enriched categories.
Date:  2016-05-17
Start Time:   15:30
Speaker:  Lurdes Sousa (CMUC, IP Viseu)
Institution:  CMUC, Univ. Coimbra
Place:  Sala 5.5
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