AZ
А почему он контравариантный-то? Ну были у нас положительные с операцией <=, стали отрицательные с операцией >=, как по мне вариантность у них так и так одна.
Size: a a a
2019 September 24
YS
разница между C_op и С как между буквами M и W. вроде бы пишутся одинаково, с точностью до поворота, а смысл почему-то совсем разный
KV
> контрвариантный функтор тем не менее все еще функтор
докажи
докажи
По-моему в некоторых местах это вообще определение. Так же как бифунктор — это функтор из произведения категорий
YS
А почему он контравариантный-то? Ну были у нас положительные с операцией <=, стали отрицательные с операцией >=, как по мне вариантность у них так и так одна.
ну, это как рассматривать
если из (R, <=) в (R, <=), то контра
если из (R, <=) в (R, >=), то ко
если из (R, <=) в (R, <=), то контра
если из (R, <=) в (R, >=), то ко
к
А почему он контравариантный-то? Ну были у нас положительные с операцией <=, стали отрицательные с операцией >=, как по мне вариантность у них так и так одна.
стрелку (a -> b) преобразует в (-b -> -a)
прямой пример выше:
-(4 <= 5) = (-5 <= -4)
прямой пример выше:
-(4 <= 5) = (-5 <= -4)
YS
стрелку (a -> b) преобразует в (-b -> -a)
прямой пример выше:
-(4 <= 5) = (-5 <= -4)
прямой пример выше:
-(4 <= 5) = (-5 <= -4)
смотря как выбрать стрелку
к
мы выбрали стрелку выше, это <=
YS
А почему он контравариантный-то? Ну были у нас положительные с операцией <=, стали отрицательные с операцией >=, как по мне вариантность у них так и так одна.
AZ
А, ок
AZ
Тогда да
AZ
Круто, спасибо
2019 September 25
O
interface IChannelInput<in T> { void Put(T value); }
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
YS
interface IChannelInput<in T> { void Put(T value); }
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
относительно подтипирования
AZ
interface IChannelInput<in T> { void Put(T value); }
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
задаёт контравариантный функтор, т.к. при
class A {}
class B : A {}
(т.е. B подтип A)
IChannelInput<A> будет подтипом IChannelInput<B>
Ну это очевидно, меня интересовал случай без подтипов
AZ
Neg отличный пример
ND
Т.е., совсем простой термин.
Оттуда же ссылка на "fiber bundle".
Оттуда же ссылка на "fiber bundle".
Стинродовская "The topology of fibre bundles" по-русски называлась "Топология косых произведений". :-)
NI
Стинродовская "The topology of fibre bundles" по-русски называлась "Топология косых произведений". :-)
Нуу, это ж не есть перевод.
ND
Боюсь именно так Постников и перевел.
NI
Я с ним не согласен ;-)
KV
"Косое произведение" — это, наверное, всё-таки перевод "fibred product"?