✨
AI Summary & Key Takeaways
AI Insight⚡ TL;DR(Too Long; Didn't Read)
As an application, we introduce the homotopy of Hopf crossed module maps via Globular, and give some of its functorial relations.
📌 3 Key Takeaways
🎯
Objective & Hypothesis:We give the graphical notion of crossed modules of Hopf algebras-will be called Hopf crossed modules for short- in a symmetric monoidal category.
📊
Key Findings & Data:We use the web proof assistant Globular to visualize our (colored) string diagrams.
💡
Conclusion & Impact:As an application, we introduce the homotopy of Hopf crossed module maps via Globular, and give some of its functorial relations.
🔬Design:Research Article
📍Scope:Comprehensive Sample
⚙️Variables:Globular · Hopf crossed module · symmetric monoidal category
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.
🔖
Cite This Article
Emir, K. (2022). Graphical calculus of Hopf crossed modules. Hacettepe Journal of Mathematics and Statistics, Cilt: 49 - Sayı: 2, 695–707. https://ajindex.com/articles/529650