The category of Frith frames
 
 
Description:  A Frith frame is a frame equipped with a join-dense bounded sublattice. In this talk we will see that Frith frames and suitable morphisms form a category Frith which is equivalent to the category of transitive and totally bounded quasi-uniform frames. This equivalence provides a very simple representation of transitive and totally bounded quasi-uniform frames. We will discuss some properties of Frith frames, paying special attention to the notion of completion inherited from the notion of completion of quasi-uniform frames. In particular, we will see that the category of coherent frames is, up to a natural identification, a full coreflective subcategory of Frith and that the completion of a Frith frame is precisely its coreflection.

This is based on joint work with Anna Laura Suarez.
Date:  2021-06-22
Start Time:   15:00
Speaker:  Célia Borlido (CMUC, Univ. Coimbra)
Institution:  CMUC
Place:  Sala Pedro Nunes
See more:   <Main>   <Informal Seminar on Categories>  
 
© 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:
Projeto Estratégico com a referência DOI 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