Size: a a a

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

2018 April 06

KV

Kirill Valyavin in Теория категорий
Да, вверху
источник

Oℕ

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

AG

Alex Gryzlov in Теория категорий
а стоп, да
источник

AG

Alex Gryzlov in Теория категорий
это я страницу не домотал
источник

AG

Alex Gryzlov in Теория категорий
дада
источник

Oℕ

Oleg ℕizhnik in Теория категорий
наверное, спойлер, удалю
источник

AG

Alex Gryzlov in Теория категорий
о смотрю еще раздел Formalization добавили
источник

Oℕ

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

AG

Alex Gryzlov in Теория категорий
хотя там тупак, просто запишите текст значочками
источник

DM

Daniel Matveev in Теория категорий
Alex Gryzlov
хотя там тупак, просто запишите текст значочками
Норм. Олег сегодня меня позорил с вайтборд кодингом.
источник
2018 April 10

NI

Nick Ivanych in Теория категорий
Забавное обобщение монады есть, оказывается.
Обобщение в ту сторону, что рассматривают её, как моноид и категорифицируют его.
https://ncatlab.org/nlab/show/category+enriched+in+a+bicategory
Ну там не совсем.
источник

NI

Nick Ivanych in Теория категорий
Типааа шутка такая.
Вот что такое полиномиальный функтор —
https://en.wikipedia.org/wiki/Polynomial_functor
;-)
источник

CE

Cohesive Elijah in Теория категорий
Норм
источник

PG

Pïg Grëënëst in Теория категорий
А как доказать, что не всякий биморфизм изоморфизм?
источник

Oℕ

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

Oℕ

Oleg ℕizhnik in Теория категорий
ну вот (+1)::Int -> Int
источник

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
как всегда) идти от обратного
источник

Oℕ

Oleg ℕizhnik in Теория категорий
((+1), (+1)) - не изоморфизм
источник

Oℕ

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

к

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