Explore >> Select a destination


You are here

bartoszmilewski.com
| | www.jeremykun.com
2.4 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?
| | thehighergeometer.wordpress.com
4.0 parsecs away

Travel
| | Here's a fun thing: if you want to generate a random finite $latex T_0$ space, instead select a random subset from $latex \mathbb{S}^n$, the $latex n$-fold power of the Sierpinski space $latex \mathbb{S}$, since every $latex T_0$ space embeds into some (arbitrary) product of copies of the Sierpinski space. (Recall that $latex \mathbb{S}$ has underlying...
| | blog.sigfpe.com
4.6 parsecs away

Travel
| | [AI summary] The post explores the concept of natural transformations in category theory, contrasting them with functions in set theory and programming languages, and discusses their significance in abstract mathematics and computer science.
| | uncommongenders.home.blog
9.7 parsecs away

Travel
| [AI summary] The post discusses the creation of a moodboard featuring soft, floral elements and gender-neutral themes, with a focus on aesthetic design and personal expression.