Graphical calculus of Hopf crossed modules

Authors : Kadir EMİR

Pages : 695-707

Doi:10.15672/hujms.467966

View : 15 | Download : 6

Publication Date : 2020-04-02

Article Type : Research Paper

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 insert ignore into journalissuearticles values(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