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-28 6:31

>>11
and how do you define morphisms?
The same way you define objects... I have a set of morphisms plus a binary operation "composition" defined on some of them, that is all.

Point is, with objects you have particular applications interfering with and limiting your understanding, such as morphisms representing functions, or types of functions, or whatever. What, exactly, the object and morphisms are in a monoid, for example?

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List