Tobin Baker on Nostr: nprofile1q…r59k6 nprofile1q…ufa4k It may be less elegant than derivations but I ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqc9m22hkc5h6zgrwkz48crhcpw6vch2rf6j97746ugl3neys86jeqcr59k6 (nprofile…59k6) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k) It may be less elegant than derivations but I find the equivalence class definition useful for building intuition for e.g. pushforwards of tangent vectors: I just imagine a representative curve through the source point mapped to another representative curve through the target point.