Categorification of characteristic structures
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912717708722176 |
|---|---|
| author | Brooksbank, Peter A. Dietrich, Heiko Maglione, Joshua O'Brien, E. A. Wilson, James B. |
| author_facet | Brooksbank, Peter A. Dietrich, Heiko Maglione, Joshua O'Brien, E. A. Wilson, James B. |
| contents | We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and description often rely on specific knowledge of the parent object and its automorphisms. In many cases, questions of reproducibility and comparison arise. Here we present a categorical framework that addresses these questions. We prove that every characteristic structure is the image of a functor equipped with a natural transformation. This shifts the local description in the parent object to a global one in the ambient category. Through constructions in representation theory, such as tensor products, we can combine characteristic structure across multiple categories. Our results are constructive, stated in the language of a constructive type theory, which facilitates implementations in theorem checkers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_01138 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Categorification of characteristic structures Brooksbank, Peter A. Dietrich, Heiko Maglione, Joshua O'Brien, E. A. Wilson, James B. Group Theory Category Theory Rings and Algebras We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and description often rely on specific knowledge of the parent object and its automorphisms. In many cases, questions of reproducibility and comparison arise. Here we present a categorical framework that addresses these questions. We prove that every characteristic structure is the image of a functor equipped with a natural transformation. This shifts the local description in the parent object to a global one in the ambient category. Through constructions in representation theory, such as tensor products, we can combine characteristic structure across multiple categories. Our results are constructive, stated in the language of a constructive type theory, which facilitates implementations in theorem checkers. |
| title | Categorification of characteristic structures |
| topic | Group Theory Category Theory Rings and Algebras |
| url | https://arxiv.org/abs/2502.01138 |