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)