/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.info.kochi-tech.ac.jp
13th International Symposium FLOPS: March 2016, Kochi, Japan
| | dsyme.home.blog
CFP: 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010) - Don Syme's Blog on F# and Related Topics
1.8 parsecs away

Travel
| | CALL FOR PAPERS 22nd Symposium on Implementation and Applications of Functional Languages (IFL 2010)September 1-3, 2010Utrecht UniversityAlphen aan den Rijn, The Netherlandshttp://www.cs.uu.nl/wiki/bin/view/IFL2010/WebHome After a first successful visit to the USA, the Symposium on Implementation and Applications of FunctionalLanguages returns to Europe for its 22nd edition. The hosting institution is Utrecht University in the Netherlands, although...
| | www.math.nagoya-u.ac.jp
FLOPS 2008 Conference Information
1.8 parsecs away

Travel
| |
| | www.ipl.riec.tohoku.ac.jp
15th International Symposium FLOPS: 2020
0.1 parsecs away

Travel
| | FLOPS Symposium web page and CFP
| | www.jeremykun.com
Functoriality | Math Programming
31.1 parsecs away

Travel
| Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves?