|
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: |
|
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>
|
|