Injectives via actions or: How I learned to stop worrying and love quantales

Description:  In this talk, motivated by a classical result that relates injectives V-categories with injectives (= complete) ordered sets with an action, we prove a similar result for (L,V)-categories where L is the list monad. Date:  2019-10-15 Start Time:   15:30 Speaker:  Eros Martinelli (CIDMA, Univ. Aveiro) Institution:  Universidade de Aveiro Place:  Sala 5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>