A priest, a pastor and a rabbit walked in to a blood donation clinic.
The nurse asked the rabbit: “What is your blood type?”
“I am probably a type O”, said the rabbit.
@bgavran3 @JulesJacobs5@Right_Inverse Yeah for sure! I guess this is a nice way to frame the idea that equivalent categories have the same skeleton[s].
Differential String Path
:
This project was born from an question: What happens if you drag string around, and trace points along it's length? The results were surprising.
To celebrate Emmy Noether's birthday, 🧵on my favourite proof of a key result (of Hilbert) about Noetherian commutative rings, namely "if A is Noetherian, so is A[x]".
Background: rings, ideals, familiarity with mathy language.
My rings are called A because anelli 🇮🇹.
The latest version of umap-learn is now out. Version 0.5 includes some major new features, including ParametricUMAP, DensMAP, AlignedUMAP, model composition, and model updating. Thank you to everyone who contributed! 1/14
@bgavran3 I'm in the same boat. Even though I'd say Yoneda is pretty difficult to understand properly, it's essentially context independent (provided your context is 'small'). Then started feverishly wondering which results in CT don't have this property.