Explore >> Select a destination
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... | |
| | | | |
www.math3ma.com
|
|
| | | | | ||
| | | | |
projects.illc.uva.nl
|
|
| | | |||
