Explore >> Select a destination


You are here

kylewbanks.com
| | coreydmccarty.dev
2.0 parsecs away

Travel
| | Increasing Productivity with Markup Language
| | www.elegantframework.com
2.5 parsecs away

Travel
| | Markdown is a lightweight markup language that allows you to quickly write structured content for the web.
| | desmondrivet.com
6.6 parsecs away

Travel
| | I'm using Markdown to write this blog entry. I've converted all my other entries to use Markdown as well. Markdown is cool. One of the annoying things...
| | www.jeremykun.com
40.7 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?