射圏ってなんですか - zatsuben
DRANK

圏論の道案内 p.177に出てくる たぶんあまり一般的な名称ではなく、この本の中で使われている言葉 「モノイド圏」と「モノイドの圏」があるように、「射の圏」ではなく「射圏」 射圏を一般化したものがコンマ圏 射圏が何かを知りたいというよりは、逆に、コンマ圏を同具体化したら射圏になるのかを理解したい つまり、コンマ圏の具体例として射圏を理解したい コンマ圏についてはこの資料 http://alg-d.

scrapbox.io
Related Topics:
1 comments
  • え、C^2を「射が対象の圏」と見なすやつって、射の圏じゃなくて射圏という概念だったの?
    でもちゃんと射の圏でもあるよね