直和
双対は直積
集合論的直和
→非交和
圏論的直和
→余積