Room M005 - Department of Mathematics - FCUP
Friday, 25 November, 2016 - 15:30
I will talk about a basic procedure of constructing adjunctions, sometimes called Kan construction/adjunction. In the first part of the talk, I will construct abstractly such adjunctions via colimits. In the second part, we give some elementary examples: fundamental groupoid, sheaves, etc. We assume elementary knowledge of basic category theory (definition of categories, colimits and Yoneda embedding).
Speaker:
Fernando Lucatelli Nunes
Institution:
University of Coimbra