Explore >> Select a destination
|
You are here 
|
grossack.site | ||
| | | | |
terrytao.wordpress.com
|
|
| | | | | Thus far, we have only focused on measure and integration theory in the context of Euclidean spaces $latex {{\bf R}^d}&fg=000000$. Now, we will work in a more abstract and general setting, in w... | |
| | | | |
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... | |
| | | | |
www.jeremykun.com
|
|
| | | | | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up into more complex ones. This will take the form of subspaces and quotients, and through these we will make rigorous the notion of "gluing" and "building" spaces. | |
| | | | |
homotopytypetheory.org
|
|
| | | Thierry Coquand and I have proved that, for a large class of algebraic structures, isomorphism implies equality (assuming univalence). A class of algebraic structures Structures in this class consist of a type, some operations on this type, and propositional axioms that can refer to operations and other axioms. N-ary functions are defined in the following... | ||
