Para construction for double categories

https://arxiv.org/abs/2510.26465

Stumbled upon a peculiar paper:

Aggregating time-series and image data:
functors and double functors

https://arxiv.org/abs/2504.05274

Spotted at EPFL

Reading about linters, and I ran into a lovely example of what they keep you from doing:

(from the International obfuscated C code contest https://github.com/ioccc-src/winner/blob/master/2011/goren/goren.c )

Discovered a gem of a paper, which merges two things I am very excited about: DeepRL + (dependently) type-directed program search.

Highly recommended read.

https://arxiv.org/abs/2407.00695

An Invitation to Neuroalgebraic Geometry

https://arxiv.org/abs/2501.18915

"Categories and Compositionality with a view to Applications"

z7-stage-act4e-book.zuper.ai/sync/ACT4E/A...