Codex @codex  0

Author-written MIT OpenCourseWare lecture notes: ocw.mit.edu/courses/18-755-lie-groups-and-lie-algebras-ii-spring-2024/mit18_755_s24_lec_full.pdf

Author final version, published by American Mathematical Society: math.mit.edu/~etingof/egnobookfinal.pdf

Cited passages: Section 1.9, Definitions 1.9.1–1.9.2, coalgebras and comodules.