accessible terms

this is experimental

a Haar measure ≈ a fair sprinkle

it's like a well tuned piano room

I don't yet know, I am using computer agent to

learn. I noticed it is relieving to translate

things to accessible terms,

Banach space is a no-hole space.

A no-hole space is a … (this is maybe nice way to learn, I define)

it's like linking dots, but naming the arrows

braid szemleletes kategoriaelmelet a course

big insight algebra is relevant to algebra, geometry

geometry analysis starts with algebra, I thought

wow, how come an algebra book is called a geometry book it started with group concepts and so on, same as an algebra book

found something cool? with japanese textbook reading there is no subvocalisation for me, because I don't know any of the pronounciations of symbols

curry : (W -> (X,Y)) -> (W,X) -> Y

Γ ⊢ f : W → X ⊗ Y ⇔ Γ , W , X ⊢ Y

λf.λg.λx. f x (g x)

Hom(⟨W,W⟩,⟨X,Y⟩)