Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2306.04432 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912381674717184 |
|---|---|
| author | Farjoun, Emmanuel Dror Ivanov, Sergei O. Krasilnikov, Aleksandr Zaikovskii, Anatolii |
| author_facet | Farjoun, Emmanuel Dror Ivanov, Sergei O. Krasilnikov, Aleksandr Zaikovskii, Anatolii |
| contents | We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For example, there is no a natural non-trivial way to define an abelian subgroup of a group, or a perfect quotient group of a group. As an auxiliary result we prove that, for any non-trivial subfunctor $F$ of the identity functor on the category of groups, any group can be embedded into a simple group that lies in the essential image of $F.$ The paper concludes with a few questions regarding the non-existence of certain (co-)augmented functors in the $\infty$-category of spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_04432 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A Note on the Non-Existence of Functors Farjoun, Emmanuel Dror Ivanov, Sergei O. Krasilnikov, Aleksandr Zaikovskii, Anatolii Category Theory 16D90 We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions that we consider are questions about nonexistence of subfunctors and quotients of the identity functor on the category of groups (or abelian groups). For example, there is no a natural non-trivial way to define an abelian subgroup of a group, or a perfect quotient group of a group. As an auxiliary result we prove that, for any non-trivial subfunctor $F$ of the identity functor on the category of groups, any group can be embedded into a simple group that lies in the essential image of $F.$ The paper concludes with a few questions regarding the non-existence of certain (co-)augmented functors in the $\infty$-category of spaces. |
| title | A Note on the Non-Existence of Functors |
| topic | Category Theory 16D90 |
| url | https://arxiv.org/abs/2306.04432 |