- Hacettepe Journal of Mathematics and Statistics
- Vol: 49 Issue: 2
- Graphical calculus of Hopf crossed modules
Graphical calculus of Hopf crossed modules
Authors : Kadir Emir
Pages : 695-707
Doi:10.15672/hujms.467966
View : 12 | Download : 5
Publication Date : 2020-04-02
Article Type : Research
Abstract :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.Keywords : Globular, Hopf crossed module, symmetric monoidal category, homotopy