Explore >> Select a destination
|
You are here 
|
fbrs.io | ||
| | | | |
www.joachim-breitner.de
|
|
| | | | | ||
| | | | |
igstan.ro
|
|
| | | | | [AI summary] The author provides an intuition for contravariant functors in Scala by explaining the contramap method through the example of deriving custom orderings from standard ones. | |
| | | | |
blog.ploeh.dk
|
|
| | | | | ||
| | | | |
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. | ||
