/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

 bartoszmilewski.com
Limits and Colimits | Bartosz Milewski's Programming Cafe
| | www.jeremykun.com
Functoriality | Math Programming
1.8 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?
| | cronokirby.com
Categorical Graphs - Cronokirby
1.9 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | blog.hde.design
Universal Properties
2.7 parsecs away

Travel
| |
| | www.morling.dev
Getting Started With Java Development in 2023 - An Opinionated Guide - Gunnar Morling
23.4 parsecs away

Travel
| 27 years of age, and alive and kicking?-?The Java platform regularly comes out amongst the top contenders in rankings like the TIOBE index. In my opinion, rightly so. The language is very actively maintained and constantly improved; its underlying runtime, the Java Virtual Machine (JVM), is one of, if not the most, advanced runtime environments for managed programming languages. There is a massive eco-system of Java libraries which make it a great tool for a large number of use cases, ranging from comman...