I will talk about a basic procedure of constructing adjunctions, sometimes called Kan construction/a
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).
Date and Venue
Start Date
Venue
Room M005 - Department of Mathematics - FCUP
Speaker
Fernando Lucatelli Nunes
Speaker's Institution
University of Coimbra
Area
Research Seminar Program (UC|UP MATH PhD program)