Homological algebra and module theory constitute a vibrant area of contemporary mathematics, interweaving concepts from algebra, topology and geometry. At its core, homological algebra studies chain ...

Weak Hopf algebras were introduced by G. Böhm and K. Szlachányi as a generalization of usual Hopf algebras and groupoid algebras [1] [2] . A weak Hopf algebra is a vector space that has both algebra ...

This module is unique in that it eschews the tactic-oriented style of traditional Coq developments. As pointed out by others, programs written in that style are brittle, hard to read, and generally ...

The Nappi-Witten Lie algebra was first introduced by C. Nappi and E. Witten in the study of Wess-Zumino-Novikov-Witten (WZNW) models. They showed that the WZNW model (NW model) based on a central ...

Before reading this guide, you may find it helpful to read the guide on graphs from Module 7 (M7) and the guide on indices from Module 8 (M8). In Module 7 (M7) Graphs, you learned that simultaneous ...