Explore >> Select a destination
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
jackkelly.name
|
|
| | | | | ||
| | | | |
ncatlab.org
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
terrytao.wordpress.com
|
|
| | | This is yet another post in a series on basic ingredients in the structural theory of locally compact groups, which is closely related to Hilbert's fifth problem. In order to understand the s... | ||
