圏対象
category object
内部圏
internal category
summary.icon
モノイド対象
、
群対象
のように
引き戻し
を持つ周囲圏の内部において「
圏
の公理」を満たす対象
Ref.icon
internal category in nLab
Ref.icon
二重圏を語るために - 檜山正幸のキマイラ飼育記 (はてなBlog)
Ref.icon
圏論の基礎
pp.361-365
YouTube.icon
選択公理なしの数学をやる意味