Demystifying codensity monads via duality
 
 
Description: 

Codensity monads provide a universal method to generate complex monads from simple functors. Recently, important monads in logic, denotational semantics, and probabilistic computation (such as ultrafilter monads, the Vietoris monad, and the Giry monad) have been presented as codensity monads, using complex arguments. We simplify these codensity presentations by proposing a unifying categorical approach, which only uses density (of functors) and duality (of categories). To sum up: "Codensity Monads = Density + Duality".

Date:  2026-02-03
Start Time:   15:00
Speaker:  Nico Wittrock (Univ. Minho & INL)
Institution:  Univ. Minho & International Iberian Nanotechnology Laboratory
Place:  Sala 5.5, DMUC
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support