トポス理論って最近では音楽理論にまで応されとります。