AG
в декартовой по моему да, а в обобщенной моноидальной нет
Size: a a a
2018 June 10
к
хм, мб на какой-то траверс еще похоже
ЗП
(a, b) -> fmap (a ,) bэто как раз
strangeк
так да, это же sequence
ЗП
вот у того же Кметта
strength :: Functor f => a -> f b -> f (a,b)
strength = fmap . (,)
a
type Lens s t a b = Functor f => (a -> f b) -> s -> f t
strength :: Lens s t (f a) a -> s -> f t
strength = ($ id)
ex1 = strength _2 ("meme", [1..4]) == [("meme", 1), ("meme", 2), ("meme", 3), ("meme", 4)]
Oℕ
типа разве это не просто map функтора
ну представь, что в качестве тензорного произведения выступает Either, тогда просто эндофункториальности уже не достаточно
AG
линза это ж тоже профунктор с силой или там морфизм над ним
2018 June 13
P
Категория локально малых категорий включает категорию малых категорий как подкатегорию или как объект?
Oℕ
Категория локально малых категорий включает категорию малых категорий как подкатегорию или как объект?
как подкатегорию
P
Ну да, глупый вопрос, спс
Oℕ
not so fast
я ща подумал, что как объект тоже
я ща подумал, что как объект тоже
Oℕ
явно, что класс функторов между двумя маленькими категориями - это ведь подкласс функций между множествами морфизмов, а значит тоже множество
Oℕ
т.е. категория малых - локально малая
2018 June 14
P
явно, что класс функторов между двумя маленькими категориями - это ведь подкласс функций между множествами морфизмов, а значит тоже множество
Но это же странно...
к
Но это же странно...
что именно странно?
P
что именно странно?
Ну то что один мат.объект в рамках одной структуры занимает две позиции
P
Это как быть элементом и подмножеством, не?
к
ну сувокупность объектов - не множество в общем случае и в смысле ZFC какого, поэтому нет ничего странного в том, чтобы иметь объект и "подмножество" одинаковым
KV
Это как быть элементом и подмножеством, не?
Но это же норма. Пример:
{a, b, c, {a, b, c}}
{a, b, c, {a, b, c}}