Explore >> Select a destination
|
You are here 
|
xorshammer.com | ||
| | | | |
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... | |
| | | | |
blog.paulhankin.net
|
|
| | | | | Programming, Computer Science, Games and Other Things | |
| | | | |
almostsuremath.com
|
|
| | | | | I start these notes on stochastic calculus with the definition of a continuous time stochastic process. Very simply, a stochastic process is a collection of random variables $latex {\{X_t\}_{t\ge 0}}&fg=000000$ defined on a probability space $latex {(\Omega,\mathcal{F},{\mathbb P})}&fg=000000$. That is, for each time $latex {t\ge 0}&fg=000000$, $latex {\omega\mapsto X_t(\omega)}&fg=000000$ is a measurable function from $latex... | |
| | | | |
agroudy.wordpress.com
|
|
| | | 10 Free Online Resources to Improve Your Writing. | ||
