/explore
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
www.jeremykun.com
Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. |
|
| | | | | ||
| | | | |
micromath.wordpress.com
Continuing the theme of alternative approaches to teaching calculus, I take the liberty of posting a letter sent by Donald Knuth to to the Notices of the American Mathematical Society in March, 1998 (TeX file). Professor Anthony W. Knapp P O Box 333 East Setauket, NY 11733 Dear editor, I am pleased to see so... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
golangbot.com
Learn to compile and run a hello world program in Go. Execute the program with go install, go build and go run. |
|
| | | |||
