UPCOMING TALKS
Nerves of T-categories and powerful T-functors
Soichiro Fujii — National Institute of Informatics, Japan
Coinductive reasoning for parametrized functors and monads
Zeinab Galal — Research Institute for Mathematical Sciences, Kyoto University, Japan
About
This is the online version of the Algebra, Logic and Topology Seminar from the Centre for Mathematics, University of Coimbra (CMUC).
More seminars:
- Organizer: Fernando Lucatelli Nunes