Побочные результаты

[deniok]

В ходе трудов над статьёй для журнала Практика функционального программирования (по материалам этого поста) и параллельных размышлений над постом beroal'а обнаружил следующий факт. Равенство

(f .) . (. h) = (. h) . (f .)

вылезшее в этом комментарии из преобразований

f (g (h x)) = (f . (g . h)) x = ((f .) ((. h) g)) x = ((f .) . (. h)) g x
f (g (h x)) = ((f . g) . h) x = ((. h) ((f .) g)) x = ((. h) . (f .)) g x

имеет явную категорийную интерпретацию. А именно, указанное равенство выражает (в категории Hask) факт естественной связи Hom-функторов: ковариантного Hom(A,–) и контравариантного Hom(–,B), задаваемой коммутативной диаграммой



(UPD: В комментах велели добавить f : B → B′, h : A′ → A, g ↦ f . g . h. Добавляю.)

В категории Hask ковариантным Hom-функтором является левое сечение композиции (f .), а контравариантным - правое (. h). Соответственно указанное равенство описывает на другом языке коммутативность диаграммы.

Думаю скрыть этот факт от читателей статьи в журнале, но с читателями блога не могу не поделиться.

Comments

[kodt-rsdn.livejournal.com]

Сделай это врезкой в журнале. Типа, "знаете ли вы что" :)

[migmit.vox.com (from livejournal.com)]

То бишь, попросту то, что Hom - бифунктор.

[kurilka.livejournal.com]

Я может глупость спрошу, но где на диаграмме Hom(A, -) ну и Hom(-, B)?
Читал вики, ничо не понял...

[ivan-gandhi.livejournal.com]

Приятно, конечно, до чего компьютерная наука дошла; но это как бы очевидно для всякого категорщика, и, должно быть, совершенно загадочно для некатегорщика.

Надо поправить диаграмму или довасить комментарий, мол, h:A'->A, f:B->B'.

g |-> f.g.h

[nivanych.livejournal.com]

Строго говоря, это не Hom, а экспонента.
Ну или ещё сопряжённый к лампочке
в моноидально-замкнутой категории
называют internal hom.

[beroal.livejournal.com]

|→
В Unicode есть такой значок
↦

Be ready for that special moment. Day or night.

[(Anonymous)]

BUY ONLINE! BEST GENERIC! VIAGRA, CIALIS, LEVITRA!!!
Save BIG on genuine Viagra, Cialis, Levitra, plus:

-100% genuine meds - no imitations!
-Discount prices - up to 65% off storewide
-Easy refunds!
-Safe and confidential orders



[b]CLICK HERE - http://mothershare.net/ [/b]


BONUS!!! TODAY ONLY!

http://mothershare.net/

[url=http://mothershare.net/][img]http://pharmshoper.com/images2/generic-pharmacy.jpg[/img][/url]