Mathematics often advances by a prior about compressibility. Some investigators trust that with the right abstractions the world can be funneled into an additive and exact environment where one can add and subtract, take kernels and cokernels, and push information through functors without losing control. Others trust that essential difficulty lives in nonlinear and metric

Read more →