category,homs
Op(FinCartSp),2