The reflexive completion in context
 
 
Description:  For a small category A, Isbell conjugacy defines an adjunction between the functor categories [A^op, Set] and [A, Set]^op. The invariant part of this adjunction (that is, its category of fixed points) is called the reflexive completion of A.

I will describe some results relating the reflexive completion to other kinds of completion. For example, there is a precise sense in which it is the intersection of the two functor categories above. The reflexive completion is unlike many other completions, in that it is not the completion with respect to any class of limits or colimits. It is functorial, but only in a rather subtle and unusual sense, as I will explain.

Date:  2021-06-15
Start Time:   16:00
Speaker:  Tom Leinster (University of Edinburgh, Scotland)
Institution:  University of Edinburgh
Place:  Zoom
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