it just like me fr

I don't think this is fair. Think about how hard it is for a machine to distinguish "hallucination". There are just endless unknown unknowns.

Linear algebra is mother

Above

Yes exactly. The trick is to find the right generality where the definitions have canonical choices

Zariski inventing algebraic varieties was like:

Freestyling is left adjoint to forgetting the lyrics

You, foolishly: a double category has horizontal and vertical morphisms Me, wise, laying flat: no those are vertical and horizontal morphisms

\newcommand{\R}{\mathbb{R}}

Cats are invariant under SO(3) transformations! 😼

Math Roadmap:

If you're in Glasgow you can come see me play music here

For R&D community nucleation, it’s exciting that Topos Institute opened a UK office, relocating Owen Lynch and David Jaz Myers; while Category Witch and Zanzi Tangle, now at Monoidal Cafe used our funding to launch a new nonprofit research institute in Glasgow (GLAIVE: Glasgow Lab for AI VErification).

Still getting weirded out about how: Lax functors C -> Span And Lax normal functors C -> Prof are the same thing

People just learning that Israel is an authoritarian theocracy are like:

Projective geometry is when you draw a lot of lines

What is pip then?

Bohmian interpretation of quantum mechanics

I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?

I can suggest an equation that has the potential to impact the future: 𝐍𝐚𝐭(𝐇𝐨𝐦(−, 𝐶), 𝐹) ≅ 𝐹(𝐶) + AI Given a category 𝒞, a functor 𝐹 : 𝒞ᵒᵖ → 𝐒𝐞𝐭, and an object 𝐶 ∈ 𝒞. This equation combines Yoneda’s famous Yoneda lemma, which relates a category (𝒞) to