Graphical calculus of Hopf crossed modules

被引:1
|
作者
Emir, Kadir [1 ]
机构
[1] Masaryk Univ, Dept Math & Stat, Brno, Czech Republic
来源
关键词
Globular; Hopf crossed module; symmetric monoidal category; homotopy; CONJUGATION INVARIANTS; ALGEBRAS;
D O I
10.15672/hujms.467966
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We give the graphical notion of crossed modules of Hopf algebras-will be called Hopf crossed modules for short- in a symmetric monoidal category. We use the web proof assistant Globular to visualize our (colored) string diagrams. As an application, we introduce the homotopy of Hopf crossed module maps via Globular, and give some of its functorial relations.
引用
收藏
页码:695 / 707
页数:13
相关论文
共 50 条