Алдын ала жазылған сынып - Preordered class

Жылы математика, а алдын-ала жазылған сынып Бұл сынып жабдықталған алдын ала берілетін тапсырыс.

Анықтама

Сыныппен қарым-қатынас кезінде C, бойынша сыныптық қатынасты анықтауға болады C сияқты кіші сынып қуат класының C C . Содан кейін, -ның тілін қолдану ыңғайлы қарым-қатынастар жиынтықта.

A алдын-ала жазылған сынып - сыныбы алдын ала берілетін тапсырыс үстінде. Ішінара тапсырыс берілген сынып және толығымен тапсырыс берілген сынып ұқсас түрде анықталады. Бұл ұғымдар сәйкесінше тұжырымдайды алдын-ала жазылған жиынтық, жартылай тапсырыс берілген жиынтық және толығымен тапсырыс берілген жиынтық. Алайда, олармен жұмыс істеу қиын сияқты кішкентай себебі көптеген а конструкциялар а жиынтық теориясы енді бұл шеңберде мүмкін емес.

Эквивалентті түрде алдын-ала келісілген сынып - а жіңішке санат, яғни санат ең көп дегенде бір объектіден екінші морфизммен.

Мысалдар

  • Кез келген жағдайда санат C, қашан Д. морфизмдер класы болып табылады C құрамында сәйкестіліктері бар және құрамы бойынша жабылған, 'қатынас бар a Д.-ден морфизм X дейін Y ' объектілер класына алдын ала тапсырыс беру болып табылады C.
  • Сынып Орд бәрінен де әскери қызметкерлер классикалық ретпен реттелген толық реттелген класс.

Әдебиеттер тізімі

  • Никола Гамбино және Питер Шустер, формальды топологиялар үшін кеңістіктік
  • Адамек, Джизи; Хорст Геррлих; Джордж Э. Стреккер (1990). Реферат және бетон категориялары (PDF). Джон Вили және ұлдары. ISBN  0-471-60922-6.