Path:  Home   >  Reflectivity and its logics
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>  
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support