Explore >> Select a destination
|
You are here 
|
jackkelly.name | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 8 of Categories for Programmers. Previously: Functors. See the Table of Contents. Now that you know what a functor is, and have seen a few examples, let's see how we can build larger functors from smaller ones. In particular it's interesting to see which type constructors (which correspond to mappings between objects... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped... | |
| | | | |
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... | |
| | | | |
www.math3ma.com
|
|
| | | |||
