NI
"Косое произведение" — это, наверное, всё-таки перевод "fibred product"?
Не надо так переводить ;-)
Size: a a a
2019 September 25
ND
Не надо, согласен. Однако, даже в словари пролезло. https://translate.academic.ru/%D0%9A%D0%9E%D0%A1%D0%9E%D0%95%20%D0%9F%D0%A0%D0%9E%D0%98%D0%97%D0%92%D0%95%D0%94%D0%95%D0%9D%D0%98%D0%95/ru/
ЕО
fibred product можно перевести как косое произведение, в принципе
KV
fibred product можно перевести как косое произведение, в принципе
А там "веерное"
KV
А "косое" — "bundle". Ужас
ЕО
2019 September 26
P
потенциально, имея некий Pipe a b, который на вход принимает a и на выходе отдает b (
push : Pipe a b -> a -> IO ()
pop : Pipe a b -> IO b
)
то мапать первый аргумент (вход) нужно именно через (x -> a), а выход уже (b -> x)
этот пример потом когда-нибудь поможет с профункторами
другой пример (который является обобщением примера с предикатами выше) - профунктор hom(-, -), или для какого-нибудь объекта X, функтор hom(-, X) (например в категории типов хаскеля, при X = Bool, получаем функтор предикатов)
push : Pipe a b -> a -> IO ()
pop : Pipe a b -> IO b
)
то мапать первый аргумент (вход) нужно именно через (x -> a), а выход уже (b -> x)
этот пример потом когда-нибудь поможет с профункторами
другой пример (который является обобщением примера с предикатами выше) - профунктор hom(-, -), или для какого-нибудь объекта X, функтор hom(-, X) (например в категории типов хаскеля, при X = Bool, получаем функтор предикатов)
Чем профунктор отличается от функтора?
P
Боюсь именно так Постников и перевел.
Может быть, это из-за того, что тогда еще не было устоявшегося русского перевода этого термина?
NI
Чем профунктор отличается от функтора?
Категорно, профунктор, это такой вид функтора.
В хаскеле, существенное отличие в том, что аргумента два.
В хаскеле, существенное отличие в том, что аргумента два.
NI
Может быть, это из-за того, что тогда еще не было устоявшегося русского перевода этого термина?
Думаю, что вряд ли.
Сформировались эти термины ещё в 50-х...
Скорее, на тот момент, различные школы ещё были сколько-то изолированы друг от друга.
Во всяком случае, взаимное влияние было на порядок меньше, чем сейчас.
И таким образом, в какой-то отдельной группе, могла сформироваться и своя терминология, местами, заметно отличающаяся от некой "общепринятной".
Так же, не вполне понятно, была ли на тот момент некая "общепринятная" терминология.
Сформировались эти термины ещё в 50-х...
Скорее, на тот момент, различные школы ещё были сколько-то изолированы друг от друга.
Во всяком случае, взаимное влияние было на порядок меньше, чем сейчас.
И таким образом, в какой-то отдельной группе, могла сформироваться и своя терминология, местами, заметно отличающаяся от некой "общепринятной".
Так же, не вполне понятно, была ли на тот момент некая "общепринятная" терминология.
к
Категорно, профунктор, это такой вид функтора.
В хаскеле, существенное отличие в том, что аргумента два.
В хаскеле, существенное отличие в том, что аргумента два.
не в хаскеле функтор тоже работает от двух объектов\морфизмов, или же тут D^op*C отдельная категория?
к
или же приписка про хаскель была примером, а не отличием хаскелевого профунктора от категорного?
A
не в хаскеле функтор тоже работает от двух объектов\морфизмов, или же тут D^op*C отдельная категория?
а что за операционка?
к
ipados
NI
не в хаскеле функтор тоже работает от двух объектов\морфизмов, или же тут D^op*C отдельная категория?
D^op*C вполне конкретная категория.
NI
или же приписка про хаскель была примером, а не отличием хаскелевого профунктора от категорного?
Хаскельный профунктор отличается от функтора не в категорном смысле.
А от хаскельного же функтора отличается.
А от хаскельного же функтора отличается.
2019 September 27
AG
новый англоязычный чатик по прикладному теоркату, с участием Жюлза и Фоско: @appliedcategorytheory
DM
новый англоязычный чатик по прикладному теоркату, с участием Жюлза и Фоско: @appliedcategorytheory
для людей с гор (из дупла горного дерева), а кто это?
NI
для людей с гор (из дупла горного дерева), а кто это?
Хорошие специалисты ;-)
Впрочем, про Жюлза я мало знаю.
А вот тов. Фоско очень уважаю.
Впрочем, про Жюлза я мало знаю.
А вот тов. Фоско очень уважаю.
AG
Жюлз категорный экономист