Functorial semantics and descent II
 
 
Description:  Restricting our attention to the 2-category of categories, the main result of [1] gives in particular a natural factorization of functors via descent. Moreover, under suitable hypothesis, this factorization is shown to coincide with the semantic factorization of the functor. This gives as a consequence a connection between (co)monadicity and descent that can be seen as a counterpart account to the celebrated Bénabou-Roubaud Theorem [2].

Despite the title, I shall not assume any knowledge from my previous talk. Instead, I shall talk about the main result of [1] in the particular case of right/left adjoint functors, under a different perspective - a direct approach/analogy with the 1-dimensional case.


[1] F. Lucatelli Nunes. Semantic Factorization and Descent. arXiv:1902.01225 (2019).
[2] J. Bénabou and J. Roubaud, Monades et descente, C. R. Acad. Sci. Paris Sr. A-B 270 (1970) A96-A98.
Date:  2019-10-15
Start Time:   14:30
Speaker:  Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)
Institution:  CMUC, Univ. Coimbra
Place:  Sala 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Financiado total ou parcialmente pela FCT, Fundação para a Ciência e a Tecnologia, I.P., sob o Financiamento de:
UID/00324/2025 Projeto Estratégico com a referência DOI https://doi.org/10.54499/UID/00324/2025.
https://doi.org/10.54499/UID/PRR/00324/2025     UID/PRR/00324/2025   https://doi.org/10.54499/UID/PRR2/00324/2025   UID/PRR2/00324/2025
Powered by: rdOnWeb v1.4 | technical support