Annotation

An alpaca comes from Film Socialisme, “DE QUELQUE CHOSE” refers to Éloge de l’amour, and the title praises the same-titled film. The background is a colonnade at Barbican Centre in London. The initial idea is based on my nightmare, where I was being chased by an alpaca in a brutalist dystopia.

but also symbolises the concept of logical pluralism, where the variety of all possible logics forms a sort of conceptual landscape. At the same time, I had been trying to achieve the effect of raw feelings and expressions.
The essay itself is available at:
bsky.app/profile/hype...

The original essay for those who might be interested in a broader context:

bsky.app/profile/hype...

Hope @bsky.art will enjoy this piece.

...and I visualised this metaphor by putting category-theoretic diagram in an urban landscape. As a basis, I took the corner of Rue Milton in the 9th Arrondissement in Paris. Whilst drawing this picture, I had been trying to achieve an effect in the fashion of Magritte, but by means of ink graphics.

The essay itself
bsky.app/profile/hype...

I suppose the picture was subconsciously inspired by Mondrian and Kandinsky. The title was initially a placeholder: Hammersmith is a district in West London close to my neighbourhood, and it was merely a name off the top of my head. Later, I realised that Hammersmith looks nice as the final title.

Looks curious, thanks! I based the diagrams from this paper

ncatlab.org/nlab/files/M...

The background is based on functorial boxes and string diagrams, the graphic framework for so-called symmetric monoidal lax functors and for comonads over monoidal categories in particular.

I coined such a term to praise @jeancocteau.bsky.social and his Orphic trilogy: Cocteau has three films (Blood of a Poet, Orpheus, Testament of Orpheus), whereas Cocteau categories have three comonads. The idea is also inspired by van Dyck’s Triple Portrait of Charles I.

A Cocteau category is a symmetric closed monoidal category equipped with three comonads, and they generalise quite a few concepts from algebraic geometry and commutative algebra in a natural way. In A Walk Through L, I discuss Cocteau categories as a framework for modelling knowing how.

Limits of language, 29.7 x 21 cms – Pencil and ink on paper

This is also part of the same essay. The title refers to Wittgenstein’s. The limits are given by the commutative diagram from Theorem 6.5 from my preprint. This is a Magritte-style rendition of category theory as the language of ontology.