Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/89488
Título: | On Finitary Functors | Autor: | Adámek, Jiří Milius, Stefan Sousa, Lurdes Wissmann, Thorsten |
Palavras-chave: | Finitely presentable object, finitely generatd object, (strictly) locally finitely presentable category, finitary functor, finitely bounded functor | Data: | 2019 | Editora: | Theory and Applications of Categories | Projeto: | UID/MAT/00324/2019 | Título da revista, periódico, livro ou evento: | Theory and Applications of Categories | Volume: | 34 | Número: | 35 | Resumo: | A simple criterion for a functor to be finitary is presented: we call F finitely bounded if for all objects X every finitely generated subobject of FX factorizes through the F-image of a finitely generated subobject of X. This is equivalent to F being finitary for all functors between `reasonable' locally finitely presentable categories, provided that F preserves monomorphisms. We also discuss the question when that last assumption can be dropped. The answer is affirmative for functors between categories such as Set, K-Vec (vector spaces), boolean algebras, and actions of any finite group either on Set or on K-Vec for fields K of characteristic 0. All this generalizes to locally $\lambda$-presentable categories, $\lambda$-accessible functors and $\lambda$-presentable algebras. As an application we obtain an easy proof that the Hausdorff functor on the category of complete metric spaces is $\aleph_1$-accessible. | URI: | https://hdl.handle.net/10316/89488 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
on-finitary-functors.pdf | 464.36 kB | Adobe PDF | Ver/Abrir |
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.