Телеграмм чат группы ru_catheory страница 248

А композицию как задавать?

"List the morphisms and their rules of composition." в вашем сообщении

15:40пожаловаться #1

Я понял

15:40пожаловаться #2

я перечислил морфизмы

15:41пожаловаться #3

а правила композиции хз

Daniel Matveev in Теория категорий

15:41пожаловаться #4

а правила композиции хз

а какие вообще правила композиции у категории?

15:41пожаловаться #5

перечислить

15:41пожаловаться #6

Я вообзще не понимаю что такое правила композиции

Daniel Matveev in Теория категорий

15:41пожаловаться #7

Я вообзще не понимаю что такое правила композиции

определение категории глянуть надо

15:41пожаловаться #8

в данном случае табилцы истинности для (&&) и (||)

15:41пожаловаться #9

Я вообзще не понимаю что такое правила композиции

в определение категории, кажется, входит "задана операция композиции стрелок"

15:42пожаловаться #10

А можно пример?

15:43пожаловаться #11

везде описано абстрактно

Daniel Matveev in Теория категорий

15:43пожаловаться #12

везде описано абстрактно

в смысле абстрактно?

15:43пожаловаться #13

Alex Zhukovsky in Теория категорий

вы сами написали пример — https://t.me/ru_catheory/6095

Первое очевидно, фигаришь unit = True и compose = (&&)

15:43пожаловаться #14

это всякие диаграмки как на лого группы имеется ввиду?

15:43пожаловаться #15

везде описано абстрактно

в этом и суть

15:43пожаловаться #16

Я не понимаю, как задается композиция стрелок

15:45пожаловаться #17

очевидно, я должен указать, какие стрелки можно сочетать друг с другом

15:45пожаловаться #18

ну, т.к. у нас 4 результата для 2 стрелок, то любые с любыми

15:45пожаловаться #19