Explore >> Select a destination
|
You are here 
|
ncatlab.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... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | In this blog post I would like to approach dependendent types from a presheaf point of view. This allows us to take the theory of presheaves as an inspiration for results in homotopy type theory. The first result from this direction is a type theoretical variant of the Yoneda lemma, stating that the fiber $latex... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems like in category theory everything is related to everything and everything can be viewed from many angles. Take for instance the universal construction of the product. Now that we know more about functors and natural transformations, can... | |
| | | | |
geriatrixfotogallerie.wordpress.com
|
|
| | | One Word Photo Challenge: shake | ||
