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 ...

Annals of Mathematics, Second Series, Vol. 167, No. 3 (May, 2008), pp. 945-991 (47 pages) We show that, on the level of derived categories, representations of the Lie algebra of a semisimple algebraic ...

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 ...