Seminars



<Historic> <Subscription>
<Theme details>
An adjoint theorem for finitary functors
2024-03-19
Speaker: Lurdes Sousa (CMUC and IP Viseu)
A functor between locally presentable categories is a right adjoint iff it is accessible and preserves limits [1]. We prove that for a number of categories, called graduated, the preservation of countable limits is enough. Examples of graduated categories include sets, posets, Boolean...

Predicate liftings and lax extensions of functors
2024-03-19
Speaker: Dirk Hofmann (CIDMA, Univ. Aveiro)
Lax extensions of SET-functors to bicategories of (enriched) relations are a well-established tool in various parts of mathematics: they are fundamental in our work on "monoidal topology", but also generic notions of bisimulation for coalgebras rely on identity-preserving (=normal) lax...

TBA
2024-04-24
Speaker: Aram Diaw (CMUP, Univ. Porto)
TBA...

© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support