к
ну они тогда и станут единичными же
Size: a a a
2020 April 11
KV
ну они тогда и станут единичными же
Если поставить условие, что f и g есть, а других не единичных нет, то да
Oℕ
ну если кратко, я хотел узнать, можно ли построить категорию без явно единичных морфизмов, то есть что-то вроде
f : A -> B, g : B -> A, id_a := gf, id_b := fg (не равны, а определены как)
но понял что тогда композиция не будет определена, fg не равна никакому морфизму, значит нужен третий и четвертый морфизмы, а это и будут единичные
f : A -> B, g : B -> A, id_a := gf, id_b := fg (не равны, а определены как)
но понял что тогда композиция не будет определена, fg не равна никакому морфизму, значит нужен третий и четвертый морфизмы, а это и будут единичные
А в чём Вы видите разницу между "равны" и "определены как"
Oℕ
Какое утверждение об этой категории можно сформулировать в одном случае, такое, что нельзя сформулировать в ином?
к
"равны" бы в этом случае означало, что есть конкретный морфизм id_b, и он такой же как и морфизм fg, то есть компоизция в этой категории определена как f . g = id_b
"определена" значит, что конкретного морфизма id_b еще нет, мы его тут вводим как композицию f . g, то есть f.g это какой-то конкретный морфизм h, и мы говорим что id_b = h
"определена" значит, что конкретного морфизма id_b еще нет, мы его тут вводим как композицию f . g, то есть f.g это какой-то конкретный морфизм h, и мы говорим что id_b = h
Oℕ
Но вы же доджны ввести все четыре морфизма их вообще исходно ни одно нет
Oℕ
Чем отличается "id_a определен как f • g" и "f и g определены так, что f • g = id"
к
ну вот мой вопрос был в том, можно ли вводить не 4, а только 2, и определить id_b как их композицию. Ну и пока я писал вопрос, то понял, что в этом случае композицию не определить, нет ни одного морфизма, которому можно сопоставить композицию, и поэтому не будет и id
Oℕ
ну вот мой вопрос был в том, можно ли вводить не 4, а только 2, и определить id_b как их композицию. Ну и пока я писал вопрос, то понял, что в этом случае композицию не определить, нет ни одного морфизма, которому можно сопоставить композицию, и поэтому не будет и id
Ну вы вводите четыре морфизма дальше вводите какие равенства дополнительные.
Совершенно не важно, в каком порядке это происходит.
Результат - одна и та же категория
Совершенно не важно, в каком порядке это происходит.
Результат - одна и та же категория
к
еще раз, вопрос был в том, чтобы не вводить 4 морфизма, только 2
Oℕ
Мне кажется, это какая-то схоластика
Oℕ
еще раз, вопрос был в том, чтобы не вводить 4 морфизма, только 2
к
ну конечно, все увлечение теоркатом для меня это схоластика
к
я не знаю ответ на этот вопрос и лично меня он слабо интересует, меня интересовал вопрос в себе: можно ли построить категорию из двух объектов и двух неединичных стрелок
сейчас этот вопрос выглядит глупо, потому что очевидно что полностью определенная такая категория будет иметь как минимум 4 различных стрелки, иначе не определить композицию
сейчас этот вопрос выглядит глупо, потому что очевидно что полностью определенная такая категория будет иметь как минимум 4 различных стрелки, иначе не определить композицию
A
Это вопрос про то, чем отличается полугруппа от моноида и как к полугруппе присоединить единицу?
к
да, на самом деле вопросы эквиваленты
A
На второй гораздо проще найти ответ)
AB
народ по теорверу вопрос - сори за офтопик
Шоколадная фабрика устраивает розыгрыш золотых билетов, каждый из которых позволит одному ребёнку побывать на фабрике. Петя купил 5 шоколадок и открывает их одну за другой до тех пор, пока не найдёт золотой билет. Вероятность обнаружения билета при открытии каждой шоколадки равна 0,07. Найдите второй начальный момент случайной величины X, где X – число шоколадок, оставшихся закрытыми.
тут же ответ
1*0.93+2ˆ2*0.93+3ˆ2*0.93+4ˆ2*0.93+5ˆ2*0.93?
Шоколадная фабрика устраивает розыгрыш золотых билетов, каждый из которых позволит одному ребёнку побывать на фабрике. Петя купил 5 шоколадок и открывает их одну за другой до тех пор, пока не найдёт золотой билет. Вероятность обнаружения билета при открытии каждой шоколадки равна 0,07. Найдите второй начальный момент случайной величины X, где X – число шоколадок, оставшихся закрытыми.
тут же ответ
1*0.93+2ˆ2*0.93+3ˆ2*0.93+4ˆ2*0.93+5ˆ2*0.93?
AD
народ по теорверу вопрос - сори за офтопик
Шоколадная фабрика устраивает розыгрыш золотых билетов, каждый из которых позволит одному ребёнку побывать на фабрике. Петя купил 5 шоколадок и открывает их одну за другой до тех пор, пока не найдёт золотой билет. Вероятность обнаружения билета при открытии каждой шоколадки равна 0,07. Найдите второй начальный момент случайной величины X, где X – число шоколадок, оставшихся закрытыми.
тут же ответ
1*0.93+2ˆ2*0.93+3ˆ2*0.93+4ˆ2*0.93+5ˆ2*0.93?
Шоколадная фабрика устраивает розыгрыш золотых билетов, каждый из которых позволит одному ребёнку побывать на фабрике. Петя купил 5 шоколадок и открывает их одну за другой до тех пор, пока не найдёт золотой билет. Вероятность обнаружения билета при открытии каждой шоколадки равна 0,07. Найдите второй начальный момент случайной величины X, где X – число шоколадок, оставшихся закрытыми.
тут же ответ
1*0.93+2ˆ2*0.93+3ˆ2*0.93+4ˆ2*0.93+5ˆ2*0.93?
По определению матожидания распиши
ЗП
Насколько я помню, то если нет единицы, то это семигрупоид