SK
Про Напериан не слышал ничего, а вот про логарифмы и представимые Бартош немного писал
Size: a a a
2019 October 14
ЗП
Про Напериан не слышал ничего, а вот про логарифмы и представимые Бартош немного писал
про Неперов у МакБрайда
ЗП
но все это опять алгебраические операции) только теперь с логарифмами
ЗП
Тавтологические контейнеры туда же
это что?
ЗП
Вообще про Напериан сказал Хенкок
SK
Интересно, спасибо!
NR
это что?
[!!0, !!1, !!2, ...]
(fst, snd)
Других примеров не помню
Такая штука выражается только нэперовыми функторами, если память не изменяет
(fst, snd)
Других примеров не помню
Такая штука выражается только нэперовыми функторами, если память не изменяет
ЗП
[!!0, !!1, !!2, ...]
(fst, snd)
Других примеров не помню
Такая штука выражается только нэперовыми функторами, если память не изменяет
(fst, snd)
Других примеров не помню
Такая штука выражается только нэперовыми функторами, если память не изменяет
как бы оно должно и в обе стороны быть
так вот для списка это не выразимо
так вот для списка это не выразимо
ЗП
ибо нет однозначности
NR
как бы оно должно и в обе стороны быть
так вот для списка это не выразимо
так вот для списка это не выразимо
Список, в котором на i-ом месте лежит аксессор i-го элемента
пара из аксессоров пары
Можно подробнее, почему невыразимо?
пара из аксессоров пары
Можно подробнее, почему невыразимо?
ЗП
ну напиши туда и обратно
ЗП
кстати и лемма йонеды тоже тут присутствует в Неперовом функторе
NR
ну напиши туда и обратно
Фиксированная форма важна, да. Пусть будет не List, а Vect n
ЗП
Фиксированная форма важна, да. Пусть будет не List, а Vect n
вот с вектором уже возможно, ибо тут размерность есть
NR
вот с вектором уже возможно, ибо тут размерность есть
Ну да, список можно представить как сумму векторов по всем n, а суммы непредставимы
ЗП
еще интересно, что в случае функторов представимость через Hom функтор
а в случае с профункторами представимость через звезду
а в случае с профункторами представимость через звезду
2019 October 17
AK
Всем привет! Новичковый вопрос: если у нас есть несюръективная функция f : A → B, то её образ не совпадает с B. Если мы рассматриваем категорию Set, то кодомен f будет объект B? Корректно ли говорить, что это два разных B (один после f, другой после idB)? Если некорректно, то почему?
AK
Есть ли вообще понятие образа в категории Set?
A
там есть подобъекты