generated at
圏
category
summary
集合と写像の圏における圏対象

圏:junked