Daniel Rogozin

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.

Hammersmith, 29.7 x 21 cms – Pastel on paper

Yet another illustration from A Walk Through L. This one is part of the essay reflecting the philosophical basis of constructive mathematics. I just followed my associations whilst reading Michael Dummett’s Elements of Intuitionism.

We seem to be rushing towards blood on the streets to satisfy a baying mob being whipped up by some of the most coldly cynical people around. This is calculated chum to the sharks.

YouTube video by Ozzy Shorts Ozzy Osbourne watching himself back

Me reading most of my previous works in 2025

youtube.com/shorts/TF-z_...

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.

A portrait of Jean Cocteau in three positions on the background of string diagrams and functorial boxes, 29.7 x 21 cms – Pencil and Ink on paper

This picture is from A Walk Through L and it illustrates Cocteau categories, one of the central concepts introduced in my recent preprint.

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.

Champ/Contre-champ, 29.7 x 21 cms – Pastel, pencil and ink on paper.

This picture is part of A Walk Through L. I came along with this idea soon after rewatching Last Year in Marienbad. The title of the book refers to Ross Street’s Quantum Groups.

Rest in Peace Ozzy.

📸 Ross Halfin

The personification of today's anti-intellectualism

Israeli public figures call for ‘crippling sanctions’ on Israel over Gaza starvation Thirty-one high-profile Israelis accuse Tel Aviv of ‘brutal campaign’ and demand permanent ceasefire in letter

www.theguardian.com/world/2025/j...

The essay also has a number of pictures of mine to equip the philosophical reflection that I suggest with a visual dimension.

The essay poses the problem of what knowledge representation might look like as a theoretical discipline with self-contained foundations, but with roots in philosophical ontology and epistemology as well as metamathematics and category theory.

A Walk Through L Operationalising Knowing How with Category Theory and Linear Logic

In this essay, I aim to reflect on the results from my recent preprint, "Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials," in terms of a broader context, not just as a mathematical result.
subexponentials.substack.com/p/a-walk-thr...

Israel has done some ‘unforgivable’ things in Gaza – former Israeli prime minister We spoke to Israel's former Prime Minister Ehud Olmert. I asked him if Benjamin Netanyahu has caved in to international pressure?

"We control Gaza. It's incumbent upon us to provide the humanitarian needs of the people."

Former Israeli prime minister Ehud Olmert tells Alex Thomson Palestinians shouldn't be "killed when they are trying to reach out for food".

Read and watch:

www.channel4.com/news/israel-...

To become a Tesla stakeholder

Masculine Feminine (1966) dir. Jean-Luc Godard Jean-Pierre Léaud exclaiming I don't know why I'm laughing. actually, I feel miserable.

mood

My childhood

It is a rather curious coincidence that the field I have been investigating is quite close to what we do at Noeon Research. Fortunately, there was an opportunity to bring the ideas I had collected for years to life.

George Harrison has a song from the White Album called Long, Long, Long, and it perfectly describes the process of researching the topic and endeavour to transform all the ideas into a decent paper. That's one of the most complex works I've ever done.

I have been working on the topics of the preprint for eight years. I have already given talks on weaker results at conferences such as Topology, Algebra, and Categories in Logic (Nice, 2019) and Advances in Modal Logic (Helsinki, 2020).

Making immigration more controlled is probably a reasonable idea, but the Labour party have started advocating for a more Trump-like and Farage-like approach, being social-democratic and centre-left for some reason according to Wiki, so I believe they should receive some feedback from the public.

But it might get jeopardised if this measure is accepted before the expiration of the qualification period and if it is going to be retroactive. In this case, I would move to a EU country with higher taxes, but with a better-developed culture of social guarantees.

This measure could deter many talented and higher-skilled people from considering the UK a place to develop their careers and contribute to the economy. I myself have a Global Talent residence permit for which I paid about 10 thousand quid for me and my spouse, and I had a plan to apply for ILR.