Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
rakhim.org
|
|
| | | | | ||
| | | | |
thehighergeometer.wordpress.com
|
|
| | | | | Following on from last post I want to talk about the appropriate notion of morphism between the objects I defined. Recall that these are Lie groupoids $latex X$ with a map to the manifold $latex M$ satisfying some properties ($latex X_0 \to M$ and $latex X_1 \to X_0\times_MX_0$ are surjective submersions), and then equipped with... | |
| | | | |
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... | |
| | | | |
linsdoodles.wordpress.com
|
|
| | | For XingfuMama's Pull up a seat Photo Challenge | ||
