Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
julesh.com
|
|
| | | | | I've been threatening a few times recently to blog about bits of mathematical folklore that I use, i.e. important things that aren't easy to find in the literature. I'm going to start with an easy one that won't take me long to write. Theorem: Given a commutative strong monad on a symmetric monoidal category, the... | |
| | | | |
mattbaker.blog
|
|
| | | | | I'm teaching Graduate Algebra this semester, and I wanted to record here the proof I gave in class of the (existence part of the) structure theorem for finitely generated modules over a PID. It's a standard argument, based on the existence of the Smith Normal Form for a matrix with entries in a PID, but... | |
| | | | |
cronokirby.com
|
|
| | | | | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ | |
| | | | |
mkatkov.wordpress.com
|
|
| | | For probability space $latex (\Omega, \mathcal{F}, \mathbb{P})$ with $latex A \in \mathcal{F}$ the indicator random variable $latex {\bf 1}_A : \Omega \rightarrow \mathbb{R} = \left\{ \begin{array}{cc} 1, & \omega \in A \\ 0, & \omega \notin A \end{array} \right.$ Than expected value of the indicator variable is the probability of the event $latex \omega \in... | ||
