/explore
|
You are here 
|
lwn.net | ||
| | | | |
www.internalpointers.com
|
|
| | | | | A look at one of the most popular ways of concurrency control in a multithreaded application. | |
| | | | |
matklad.github.io
|
|
| | | | | (at least on commodity desktop Linux with stock settings) | |
| | | | |
probablydance.com
|
|
| | | | | Lets say you want to have a mutex for every item in a list with 10k elements. It feels a bit wasteful to use a std::mutex for each of those elements. In Linux std::mutex is 40 bytes, in Windows it's 80 bytes. But mutexes don't need to be that big. You can fit a mutex... | |
| | | | |
www.jeremykun.com
|
|
| | | 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? | ||
