Full threadchithanh·Very nice. Also recommended reading is Eugenie Cheng, The Joy of Abstraction[1] which emphasizes diagram chasing to visualize abstract relationships.[1] https://doi.org/10.1017/9781108769389View on HN