/explore
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
blog.hde.design
|
|
| | | | | ||
| | | | |
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? |
|
| | | | | ||
| | | | |
rakhim.org
[AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. |
|
| | | | | ||
| | | | |
cryptoslate.com
Jack Dorsey's agency Block has unveiled a big development in Bitcoin (BTC) mining know-how with the completion of its three-nanometer (3nm) mining chip. The firm is now finalizing a full tape out of the chip at a number one world semiconductor foundry, marking a considerable improve from its earlier five-nanometer prototype. The new chip targets [...] |
|
| | | |||
