圏2

2つの対象

恒等射と、その間の一つの射をもつ