Kotomora
随伴関手 (ずいはんかんしゅ) Japanese meaning | Kotomora