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