Functors induced by comma categories
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908621425606656 |
|---|---|
| author | Das, Suddhasattwa |
| author_facet | Das, Suddhasattwa |
| contents | Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. Slice categories are a special case of the more general notion of comma categories. Comma categories are created when two categories $\mathcal{A}$ and $\mathcal{B}$ transform into a common third category $\mathcal{C}$, via functors $F,G$. Such arrangements denoted as $\Comma{F}{G}$ abound in mathematics, and provide a categorical interpretation of many constructions in Mathematics. Objects in this category are morphisms between objects of $\mathcal{A}$ and $\mathcal{B}$, via the functors $F,G$. We show that these objects also have a natural interpretation as functors between slice categories of $\mathcal{A}$ and $\mathcal{B}$. Thus even though $\mathcal{A}$ and $\mathcal{B}$ may have completely disparate structures, some morphisms in $\mathcal{C}$ lead to functors between their respective slices. We present this relation in the form of a functor from $\mathcal{C}$ into the category of left slices. The proof of our main result requires a deeper look into associated categories, in which the objects themselves are various commuting diagrams. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_14059 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Functors induced by comma categories Das, Suddhasattwa Category Theory 18A05, 18A40, 18A35, 18A25 Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. Slice categories are a special case of the more general notion of comma categories. Comma categories are created when two categories $\mathcal{A}$ and $\mathcal{B}$ transform into a common third category $\mathcal{C}$, via functors $F,G$. Such arrangements denoted as $\Comma{F}{G}$ abound in mathematics, and provide a categorical interpretation of many constructions in Mathematics. Objects in this category are morphisms between objects of $\mathcal{A}$ and $\mathcal{B}$, via the functors $F,G$. We show that these objects also have a natural interpretation as functors between slice categories of $\mathcal{A}$ and $\mathcal{B}$. Thus even though $\mathcal{A}$ and $\mathcal{B}$ may have completely disparate structures, some morphisms in $\mathcal{C}$ lead to functors between their respective slices. We present this relation in the form of a functor from $\mathcal{C}$ into the category of left slices. The proof of our main result requires a deeper look into associated categories, in which the objects themselves are various commuting diagrams. |
| title | Functors induced by comma categories |
| topic | Category Theory 18A05, 18A40, 18A35, 18A25 |
| url | https://arxiv.org/abs/2401.14059 |