Seminars
Weighted sifted colimits
2024-11-20
Speaker: Jirí Adámek (Czech Technical Univ., Prague, Czech Republic)
In ordinary categories both filtered colimits and reflexive coequalizers have the property that in every variety of algebras such colimits are formed on the level of the underlying sets. More generally, all sifted colimits have that property. A category \( \mathcal D \) is sifted if colimits...
Definability and full abstraction for algebraic effects with recursion
2024-12-17
Speaker: Norihiro Yamada (CMUC, Univ. Coimbra)
In this talk, I present an overview of my recent work on an intersection between algebra, logic and topology: definability and full abstraction for algebraic theories in the sense of universal algebra combined with a well-known formal calculus for higher-order computation.
The...
© Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb v1.4 | technical support