"Categorification in mathematics"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
imported>Pythagoras0 |
imported>Pythagoras0 |
||
| 13번째 줄: | 13번째 줄: | ||
* [[Categorification of quantum groups]] | * [[Categorification of quantum groups]] | ||
* [[Monoidal categorifications of cluster algebras]] | * [[Monoidal categorifications of cluster algebras]] | ||
| + | |||
| + | |||
| + | ==articles== | ||
| + | * Matsuoka, Takuo. “A Generalization of Categorification, and Higher ‘Theory’ of Algebras.” arXiv:1509.01582 [math], September 7, 2015. http://arxiv.org/abs/1509.01582. | ||
2015년 9월 7일 (월) 23:47 판
introduction
- general motivation for categorification
- algebraic/geometric structures <-> category
- we can use general properties of the category $\mathcal{C}$
- It's a long established principle that an interesting way to think about numbers as the sizes of sets or dimensions of vector spaces, or better yet, the Euler characteristic of complexes.
- You can't have a map between numbers, but you can have one between sets or vector spaces.
- For example, Euler characteristic of topological spaces is not functorial, but homology is.
- One can try to extend this idea to a bigger stage, by, say, taking a vector space, and trying to make a category by defining morphisms between its vectors.
- This approach (interpreted suitably) has been a remarkable success with the representation theory of semi-simple Lie algebras (and their associated quantum groups).
articles
- Matsuoka, Takuo. “A Generalization of Categorification, and Higher ‘Theory’ of Algebras.” arXiv:1509.01582 [math], September 7, 2015. http://arxiv.org/abs/1509.01582.