generated at
2/21/2025, 8:00:27 PM
リボン圏
https://math.shinshu-u.ac.jp/~maekawa/wakate2014/proceedings_seminar/shimizu_seminar.pdf