Size: a a a

Теория категорий

2021 September 10

к

кана in Теория категорий
ну я к тому, что откуда растут ноги у мысли о сходстве - понятно, у меня было такое же замечание когда-то
источник

к

кана in Теория категорий
о да, так еще лучше
источник

X

XÆA-XII in Теория категорий
Лучше через лямбды тогда
источник

s

suhr in Теория категорий
(v ↦ x * v)(a + b) = (v ↦ x * v)a + (v ↦ x * v)b
источник

s

suhr in Теория категорий
Читаемее от этого не стало.
источник

X

XÆA-XII in Теория категорий
\y.x * y(a + b) = (\y.x * y)a + (\y.x * y)b
источник

Oℕ

Oleg ℕizhnik in Теория категорий
можно сказать, что дистрибутивность иногда родственна функториальности
источник

Oℕ

Oleg ℕizhnik in Теория категорий
но это вайлд гесс, давайте спросим @Comonoid
источник

s

suhr in Теория категорий
Но функтор это по сути стрелка в очередной категории.
источник

Oℕ

Oleg ℕizhnik in Теория категорий
да
источник

Oℕ

Oleg ℕizhnik in Теория категорий
тем оно и лучше
источник

Oℕ

Oleg ℕizhnik in Теория категорий
что не нужно страшные формулы как выше писать, а можно просто стрелку
источник

Oℕ

Oleg ℕizhnik in Теория категорий
если нужно дистрибутивность в моноидальном обобщении, я так понимаю обогащённые функторы подойдут
источник

Oℕ

Oleg ℕizhnik in Теория категорий
так что ничто не ограничивает
источник

NI

Nick Ivanych in Теория категорий
Я бы уточнил, какие гомоморфизмы имеются в виду и какая именно дистрибутивность.
источник

X

XÆA-XII in Теория категорий
Сам не знаю
источник
2021 September 13

AG

Alex Gryzlov in Теория категорий
https://compose.ioc.ee/alice/ два phd в таллинне по автоматам
источник

P

Proof: in Теория категорий
кто-нибудь сталкивался с теоремами, где фигурировали бы биморфизмы?
источник

YY

Yuriy Yarosh in Теория категорий
Вроде Bx не ?
источник

YY

Yuriy Yarosh in Теория категорий
источник