Төмендегі үзіндіге сілтеме жасаңыз, содан кейін сұраққа өз тілінде жауап беріңіз:  Өтпе: Көптеген топтар бір мезгілде басқа математикалық құрылымдардың топтары мен үлгілері болып табылады. Категория теориясының тілінде олар категориядағы топтық объектілер, яғни олар топтық аксиомаларды еліктейтін трансформациялармен (морфизмдер деп аталады) келетін объектілер (яғни басқа математикалық құрылымның мысалдары). Мысалы, әрбір топ (жоғарыда анықталғандай) - бұл жиынтық, сондықтан топ - жиынтықтар санатындағы топтық нысан.  Сұрақ: Әр топ қандай?
орнату