メモ
https://arxiv.org/abs/1512.04389
https://arxiv.org/pdf/1512.04389.pdf
Semi-galois Categories I: The Classical Eilenberg Variety Theory
Takeo Uramoto
(Submitted on 14 Dec 2015 (v1), last revised 20 Jan 2017 (this version, v4))