notes copied from airline ticket...

1

??conceptual loop (or something...) ...


"renormalization"...

"gibbs-boltzmann deformation" ...

"poisson geometry" ...

"associated graded vector space of a filtered vector space" ...



2

??answer shulman?? ??still sounds 2-stage monadic?? ??also maybe add correction/clarification about abelian category ... starting from ringoid rather than category...




3

some rambling calculations relating to "malcev variety" and "kernel" and so forth... ??...

??something about "equational refinement of horn theory" ... ???...

??? "[x=y] <=> [f(x,y)=k]" ...

?? =>

f(x,x)=k

??vs "f(x,x,y)=y" ?? or something??? ... and so forth... ???...


??? <= ... ???... f(x)=g(x) => h(x)=j(x) ... ???and so forth...

h=fk, j=gk ... ???and so forth... ??...