Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset
Hauskalla asenteella tehty kirjoitus, joka yrittää lähentää kategoriateoriaa ohjelmoijille:
http://debasishg.blogspot.fi/2012/07/does-category-theory-make-you-better.html
Itse olen nähnyt niin, että kategoriateoria on merkittävä siinä mielessä, että sen aksiomajoukko on hyvin suppea, mutta siitä seuraa paljon mielenkiintoisia todistuksia. Koska hyvin monet asiat ovat nähtävissä kategorioina, nämä todistukset pitävät suoraan paikkansa niissä ja tarkoittavat joka kategoriassa käytännössä eri asiaa.
Minua on pitkään kiinnostanut, mikä on kategoriateoreettinen todistus sille, että kaksiargumenttinen funktio on sama asia kuin yksiargumenttinen funktio, joka palauttaa toisen (yksiargumenttisen) funktion. Kategoriateorian kannalta kyseessä on isomorfismi
Hom(A x B, C) on isomorfinen Hom(A, B -> C)
Väite ilmeisesti pitää paikkansa kaikissa karteesisesti suljetuissa kategorioissa ja seuraa niiden määrittelystä (eli lisäaksiomoista):
http://en.wikipedia.org/wiki/Cartesian_closed_category
Löysin todennäköisen keinon, jolla irssin saa ilmoittamaan paremmin tärkeistä viesteistä.