I did a thing with a bunch of drawings

A logician’s chess puzzle by smullyan: where is the white king?

playing around with the Chu construction

Super speculative (…unless?) mathematics of psychophysics with @koralus.bsky.social and @daniellefong.bsky.social; an empirically grounded elaboration of ideas from ‘scent of time’ by byung-chul han, and why our current time is a heroic age where individuals have outsized impact.

Some investigation into the category of polynomial functors at the topos institute at berkeley

The behaviour of an opfibration

pic immediately before double fisting kiosk hotdogs in oslo airport

A normal form for text diagrams, which later found its place in https://arxiv.org/abs/2301.10595

Topological networks as process-theoretic scaffolds

There’s a special kind of danger that arises for math-lovers if they try to adopt both *fun* and *usefulness* as priorities; ideophilia can become undiscerning ideophagy and one can end up conflating beauty with abstraction, truth with usefulness, and complexity for cleverness.

I think this one was part of a proof attempt at completeness for graphical first order logic. There’s the bicategory of relations inequalities in green and the negation endocombinators in red

Here’s tube diagrams for monoidal monads equipped with some kind of algebra eval

Got a lot of old diagrams to post, that’s going to be my thing. Here’s some early string diagrams for language and the process of quotienting out grammatical structure.

Was trying to come up with categorical semantics for milner’s bigraphs for interacting agents in space. The examples end up looking nice!