Explore >> Select a destination
|
You are here 
|
cronokirby.com | ||
| | | | |
julesh.com
|
|
| | | | | Geometry of Interaction (also known as the Int-construction) is an important construction in category theory that shows up the semantics of concurrency. It's also a contender for my favourite thing in category theory. It's one member of a whole zoo of things that look kinda like lenses but are a bit different. Back around 2017... | |
| | | | |
bentnib.org
|
|
| | | | | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 24 of Categories for Programmers. Previously: Comonads. See the Table of Contents. We've seen several formulations of a monoid: as a set, as a single-object category, as an object in a monoidal category. How much more juice can we squeeze out of this simple concept? Let's try. Take this definition of a... | |
| | | | |
billsaysthis.com
|
|
| | | Visit the post for more. | ||
