Cale’s Index
Natural Transformations
Adjunctions
Vector spaces via monads
Categorical Logic
Other topics
- Subscribe: Entries | Comments
-
Recent Posts
- Matrices and Determinants
- Special Relativity and Hyperbolae
- Conic Sections and Projective Space
- Translations as Projective Transformations
- Back from the Dead
- Data Mining
- Why’s (poignant) guide to Ruby
- Inversions in permutations and words
- Permutation indices
- Open Source Mathematics Software
- Another nice analogy
- A nice analogy
- Matrices in Haskell II
- Matrices in Haskell I
- Coloured Permutations in GAP II
Math
Meta
Calendar