圏の具体例
対象が型で、射が関数の圏
対象が自然数で、射が自然数倍の圏
対象1つで射が整数値の圏
しりとりの圏
行列の圏:
はじめての圏論 その第2歩:行列の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
確認用
Q. 圏の具体例
参考
檜山正幸のキマイラ飼育記 (はてなBlog)
はじめての圏論 その第1歩:しりとりの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
はじめての圏論 - しりとりの圏 - ボクノス
はじめての圏論 その第2歩:行列の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
関連