Now on the arXiv: Luigi Alfonsi & Charles Young: Towards non-perturbative BV-theory via derived differential cohesive geometry arxiv.org/abs/2307.15106 (Luigi had announced this ncatlab.org/nlab/show/M-Th… at "M-Theory and Mathematics" in January.)

Jonathan Oppenheim More on Wheeler commanding equations to fly: ncatlab.org/nlab/show/John…

David Jaz Myers I admit I grew fond of saying "modale". On a different but related note,there is an interesting history of the use of the word "monad" which seems little known: ncatlab.org/nlab/show/mona… Euclid said "monad" for the number "1" and then Bénabou said "monad" for lax functors 1->Cat

So engrossed with writing the followup (ncatlab.org/schreiber/show…) that I almost forgot to say: We have a new preprint out: ++++++++++++++++++++++ + Entanglement of Sections + ++++++++++++++++++++++ ncatlab.org/schreiber/show… constructing a model for a fragment of Linear HoTT.

Some slides (ncatlab.org/davidcorfield/…) from a talk I just gave at the Conference on Quantum Gravity and Computation in Sydney (wanderingmazes.com/sydney-confere…), showing the scope of the Sati-Schreiber program.

In preparation for the upcoming Encyclopedia of MathPhysics 2nd ed.: ******************************************** ** Higher Topos Theory in Physics ** ******************************************** 10 pleasant pages latest version here: ncatlab.org/schreiber/show…

Now on the arXiv: ************************************** ** The Quantum Monadology ** ************************************** arxiv.org/abs/2310.15735 ncatlab.org/schreiber/show…