Төмөндөгү үзүндүгө кайрылыңыз, андан кийин ошол эле тилдеги суроого жооп бериңиз:  Көптөгөн топтор бир эле учурда башка математикалык структуралардын топтору жана үлгүлөрү болуп саналат. Категориялык теориянын тили менен айтканда, алар топтук объектилер болуп саналат, башкача айтканда, алар топтук аксиомаларды туураган трансформациялар (морфизмдер деп аталат) менен келген объектилер (башка математикалык түзүлүштүн мисалдары). Мисалы, ар бир топ (жогоруда аныкталгандай) ошондой эле топ болуп саналат, ошондуктан топ топтор категориясындагы топтук объект болуп саналат.  Суроо: Ар бир топ деген эмне?
коюу