Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Monads; programmable semicolons

Name: Anonymous 2012-12-27 1:15

explain

Name: Anonymous 2012-12-27 5:58

>>2
Let C and D be categories, then a functor F : C -> D is a pair of functions, one mapping objects X,Y,.. of C to objects FX, FY, ... of D, another mapping maps f : X -> Y of C to maps Ff : FX -> FY of D. Functors preserve composition (and therefore identities).
mathematician in training here, what the fuck

Newer Posts

Monads; programmable semicolons

1 Name: Anonymous 2012-12-27 1:15

5 Name: Anonymous 2012-12-27 5:58

Name: Anonymous 2012-12-27 1:15

Name: Anonymous 2012-12-27 5:58