モノイド対象、群対象のように

引き戻しを持つ周囲圏の内部において「圏の公理」を満たす対象

internal category in nLab

二重圏を語るために - 檜山正幸のキマイラ飼育記 (はてなBlog)

圏論の基礎 pp.361-365

選択公理なしの数学をやる意味