>>72
圏と関手の定義を簡単に説明してくれんか?
できればわかりやすく!