In this seminar we introduce the concept of (T,V)-categories through its fundamental examples. In order to do so, we explore the concepts of monads and quantales, also with examples. We finish relating to the work on cartesian closed categories.
The seminar takes place in PORTO.
(*) Willian Silva is a PhD student of the Joint PhD Program UC-UP, working at the University of Coimbra, in Category Theory, under the supervision of Professor Maria Manuel Clementino.