|
You are here |
ncatlab.org | ||
| | | | |
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. | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | Thus far, we have only focused on measure and integration theory in the context of Euclidean spaces $latex {{\bf R}^d}&fg=000000$. Now, we will work in a more abstract and general setting, in w... | |
| | | | |
grossack.site
|
|
| | | | | Chris Grossack's math blog and professional website. | |
| | | | |
aosmith.rbind.io
|
|
| | | Where I discuss simulations, why I love them, and get started on a simulation series with a simple two-group linear model simulation. | ||