Daniel Rogozin
@hyperdoctrine.bsky.social
Mathematical logic and complaining
Pinned
Daniel Rogozin
@hyperdoctrine.bsky.social
· Jul 30
A Walk Through L
Operationalising Knowing How with Category Theory and Linear Logic
subexponentials.substack.com
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...
subexponentials.substack.com/p/a-walk-thr...
Landscape Patterns in Elmbridge, Surrey, United Kingdom, 29.7 x 21 cms – Coloured pencil, pastel and ink on paper.
August 20, 2025 at 10:27 AM
Landscape Patterns in Elmbridge, Surrey, United Kingdom, 29.7 x 21 cms – Coloured pencil, pastel and ink on paper.
Adieu au Language, 29.7 x 21 cms – Coloured pencils and ink on paper
This is another illustration from A Walk Through L, in particular, from the first chapter reflecting some basics of philosophy of language. In some sense, this drawing is an homage to Jean-Luc Godard:
This is another illustration from A Walk Through L, in particular, from the first chapter reflecting some basics of philosophy of language. In some sense, this drawing is an homage to Jean-Luc Godard:
August 18, 2025 at 11:25 AM
Adieu au Language, 29.7 x 21 cms – Coloured pencils and ink on paper
This is another illustration from A Walk Through L, in particular, from the first chapter reflecting some basics of philosophy of language. In some sense, this drawing is an homage to Jean-Luc Godard:
This is another illustration from A Walk Through L, in particular, from the first chapter reflecting some basics of philosophy of language. In some sense, this drawing is an homage to Jean-Luc Godard:
Multiplicity, 29.7 x 21 cms – Pastel and pencil on paper
Again, a picture from the recent essay A Walk Through L. This is an endeavour to make a self-portrait in a fashion mixing expressionism and pop-art. The name ‘Multiplicity’ refers to the concept of multiplicity from Badiou’s Being and Event,
Again, a picture from the recent essay A Walk Through L. This is an endeavour to make a self-portrait in a fashion mixing expressionism and pop-art. The name ‘Multiplicity’ refers to the concept of multiplicity from Badiou’s Being and Event,
August 14, 2025 at 10:40 AM
Multiplicity, 29.7 x 21 cms – Pastel and pencil on paper
Again, a picture from the recent essay A Walk Through L. This is an endeavour to make a self-portrait in a fashion mixing expressionism and pop-art. The name ‘Multiplicity’ refers to the concept of multiplicity from Badiou’s Being and Event,
Again, a picture from the recent essay A Walk Through L. This is an endeavour to make a self-portrait in a fashion mixing expressionism and pop-art. The name ‘Multiplicity’ refers to the concept of multiplicity from Badiou’s Being and Event,
I haven’t participated in conferences for a while, I still miss that atmosphere of mathematical events.
August 14, 2025 at 10:20 AM
I haven’t participated in conferences for a while, I still miss that atmosphere of mathematical events.
Haven’t participated in conferences for a while
August 13, 2025 at 11:00 AM
Haven’t participated in conferences for a while
Architecture of Knowledge in the 9th Arrondissement, 21 x 29.7 cms – Pencil and Ink on paper
This is a picture from A Walk Through L. The picture reflects the idea of how category theory allows for the structuring of formalised knowledge. Category theory suggests some knowledge architecture, and...
This is a picture from A Walk Through L. The picture reflects the idea of how category theory allows for the structuring of formalised knowledge. Category theory suggests some knowledge architecture, and...
August 12, 2025 at 2:20 PM
Architecture of Knowledge in the 9th Arrondissement, 21 x 29.7 cms – Pencil and Ink on paper
This is a picture from A Walk Through L. The picture reflects the idea of how category theory allows for the structuring of formalised knowledge. Category theory suggests some knowledge architecture, and...
This is a picture from A Walk Through L. The picture reflects the idea of how category theory allows for the structuring of formalised knowledge. Category theory suggests some knowledge architecture, and...
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.
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.
August 5, 2025 at 11:53 AM
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.
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.
Reposted by Daniel Rogozin
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.
This is madness. Someone is going to get killed - the rhetoric about women’s and girls’ safety is stoking violent disinfo.
Nigel Farage tells police to release ethnicity of suspected sex offenders
www.thetimes.com/article/f7b0...
Nigel Farage tells police to release ethnicity of suspected sex offenders
www.thetimes.com/article/f7b0...
Nigel Farage tells police to release ethnicity of suspected sex offenders
The Reform leader said there was ‘rising public anger’ over migrant hotels and alleged crimes committed by people arriving in the UK on small boats
www.thetimes.com
August 4, 2025 at 5:22 PM
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.
Ozzy Osbourne watching himself back
YouTube video by Ozzy Shorts
youtube.com
August 4, 2025 at 1:18 PM
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.
This picture is from A Walk Through L and it illustrates Cocteau categories, one of the central concepts introduced in my recent preprint.
August 3, 2025 at 11:26 AM
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.
This picture is from A Walk Through L and it illustrates Cocteau categories, one of the central concepts introduced in my recent preprint.
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.
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.
August 2, 2025 at 7:18 PM
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.
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.
Reposted by Daniel Rogozin
Rest in Peace Ozzy.
📸 Ross Halfin
📸 Ross Halfin
August 1, 2025 at 2:57 PM
Rest in Peace Ozzy.
📸 Ross Halfin
📸 Ross Halfin
The personification of today's anti-intellectualism
July 31, 2025 at 1:29 PM
The personification of today's anti-intellectualism
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...
subexponentials.substack.com/p/a-walk-thr...
A Walk Through L
Operationalising Knowing How with Category Theory and Linear Logic
subexponentials.substack.com
July 30, 2025 at 8:46 AM
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...
subexponentials.substack.com/p/a-walk-thr...
Reposted by Daniel Rogozin
"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-...
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-...
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?
www.channel4.com
July 28, 2025 at 10:18 AM
"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-...
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-...
Reposted by Daniel Rogozin
My childhood
Ozzy Osbourne's farewell concert was the highest-grossing charity concert of all time. Will do a world of good in and around Birmingham. RIP.
www.stereogum.com/2315456/ozzy...
www.stereogum.com/2315456/ozzy...
Ozzy Osbourne Farewell Show Was The Highest-Grossing Charity Concert Of All Time
On July 5, Ozzy Osbourne put on a farewell concert, performing as a solo artist and with Black Sabbath for the last time in the band’s hometown of Birmingham, UK. Billed as the “Back To The Beginning”...
www.stereogum.com
July 22, 2025 at 10:25 PM
My childhood
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).
Daniel Rogozin: Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials https://arxiv.org/abs/2507.12360 https://arxiv.org/pdf/2507.12360 https://arxiv.org/html/2507.12360
July 18, 2025 at 12:25 PM
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).
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.
UK plans to double permanent settlement wait for some migrants already in the country reut.rs/4jWT9Ec
UK plans to double permanent settlement wait for some migrants already in the country
The British government is planning to make some immigrants living in the country wait up to five years longer to qualify for permanent settlement under Prime Minister Keir Starmer's plans to cut immigration numbers.
reut.rs
May 18, 2025 at 12:40 AM
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.