Announcing quiver: a new commutative diagram editor for the webA small blog about Rust, type theory and mathematics.#diagram#category-theory·varkor.github.io·Nov 25, 2020Announcing quiver: a new commutative diagram editor for the web
A Diagram is a FunctorThis post made the concept of “indexing,” used across mathematics, click for me.#tai-danae-bradley#category-theory#indexing#functor#diagram·math3ma.com·Aug 25, 2019A Diagram is a Functor
