再复杂的范畴，都始于单一成员