圏
category
summary.icon
集合と写像の圏
における
圏対象
圏:junked