Nima Rasekh
@nimarasekh.bsky.social
Mathematician at @unigreifswald.bsky.social
Mathematics Research Scientist at Turing
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
Mathematics Research Scientist at Turing
Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪
He/Him/His
Interested in: homotopy theory, category theory, formalization of mathematics, AI
https://nimarasekh.github.io
Pinned
Nima Rasekh
@nimarasekh.bsky.social
· Aug 12
🚨 New paper(s) alert! 🚨
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
Looking for a post-doctoral position in algebraic topology?
Check out this position in the group of homotopykat.bsky.social at EPFL!
If you have any questions about the position, the group, EPFL or living in @villelausanne.bsky.social, then please reach out!
Links and more details below👉
Check out this position in the group of homotopykat.bsky.social at EPFL!
If you have any questions about the position, the group, EPFL or living in @villelausanne.bsky.social, then please reach out!
Links and more details below👉
Kathryn Hess Bellwald (@homotopykat.bsky.social)
Mathematician, lover of mountains, mother of four, EPFL professor
homotopykat.bsky.social
November 7, 2025 at 11:01 PM
Looking for a post-doctoral position in algebraic topology?
Check out this position in the group of homotopykat.bsky.social at EPFL!
If you have any questions about the position, the group, EPFL or living in @villelausanne.bsky.social, then please reach out!
Links and more details below👉
Check out this position in the group of homotopykat.bsky.social at EPFL!
If you have any questions about the position, the group, EPFL or living in @villelausanne.bsky.social, then please reach out!
Links and more details below👉
🌞Summer School Announcement🌞
🎓∞-Category Theory at ICERM!🎓
I am happy to announce that together with
@emilyriehl.bsky.social and Jonathan Weinberger we are organizing a Graduate Training Workshop teaching ∞-category theory via proof assistants!🧠💻
More infos in the next post👉
🎓∞-Category Theory at ICERM!🎓
I am happy to announce that together with
@emilyriehl.bsky.social and Jonathan Weinberger we are organizing a Graduate Training Workshop teaching ∞-category theory via proof assistants!🧠💻
More infos in the next post👉
November 7, 2025 at 9:02 PM
🌞Summer School Announcement🌞
🎓∞-Category Theory at ICERM!🎓
I am happy to announce that together with
@emilyriehl.bsky.social and Jonathan Weinberger we are organizing a Graduate Training Workshop teaching ∞-category theory via proof assistants!🧠💻
More infos in the next post👉
🎓∞-Category Theory at ICERM!🎓
I am happy to announce that together with
@emilyriehl.bsky.social and Jonathan Weinberger we are organizing a Graduate Training Workshop teaching ∞-category theory via proof assistants!🧠💻
More infos in the next post👉
This past year I spent some time thinking about filter quotient models of homotopy type theory.
I am happy to announce that I now have a chance to talk about it
📍 First Meeting of the Higher Structures Network, Nottingham, UK
🗓️ Thursday Nov. 19
Links in the next post👉
I am happy to announce that I now have a chance to talk about it
📍 First Meeting of the Higher Structures Network, Nottingham, UK
🗓️ Thursday Nov. 19
Links in the next post👉
October 31, 2025 at 1:59 PM
This past year I spent some time thinking about filter quotient models of homotopy type theory.
I am happy to announce that I now have a chance to talk about it
📍 First Meeting of the Higher Structures Network, Nottingham, UK
🗓️ Thursday Nov. 19
Links in the next post👉
I am happy to announce that I now have a chance to talk about it
📍 First Meeting of the Higher Structures Network, Nottingham, UK
🗓️ Thursday Nov. 19
Links in the next post👉
🚨 Position alert 🚨
Looking for a position that involves programming, quantum computing, and cutting edge mathematics?
Then check out this Research Software Engineer position in the research group of Cihan Okay:
www.mathjobs.org/jobs/list/27...
Looking for a position that involves programming, quantum computing, and cutting edge mathematics?
Then check out this Research Software Engineer position in the research group of Cihan Okay:
www.mathjobs.org/jobs/list/27...
MathJobs from the the American Mathematical Society
Mathjobs is an automated job application system sponsored by the AMS.
www.mathjobs.org
October 12, 2025 at 6:22 PM
🚨 Position alert 🚨
Looking for a position that involves programming, quantum computing, and cutting edge mathematics?
Then check out this Research Software Engineer position in the research group of Cihan Okay:
www.mathjobs.org/jobs/list/27...
Looking for a position that involves programming, quantum computing, and cutting edge mathematics?
Then check out this Research Software Engineer position in the research group of Cihan Okay:
www.mathjobs.org/jobs/list/27...
🚀 Exciting news!
I’m organizing the conference
Formalizing Higher Categories
at Institut Mittag-Leffler (Stockholm, June 2026)
— bringing together experts to explore how far ∞-category theory can be formalized in proof assistants (like Lean).
More info in the next post 👇
I’m organizing the conference
Formalizing Higher Categories
at Institut Mittag-Leffler (Stockholm, June 2026)
— bringing together experts to explore how far ∞-category theory can be formalized in proof assistants (like Lean).
More info in the next post 👇
September 25, 2025 at 7:53 PM
🚀 Exciting news!
I’m organizing the conference
Formalizing Higher Categories
at Institut Mittag-Leffler (Stockholm, June 2026)
— bringing together experts to explore how far ∞-category theory can be formalized in proof assistants (like Lean).
More info in the next post 👇
I’m organizing the conference
Formalizing Higher Categories
at Institut Mittag-Leffler (Stockholm, June 2026)
— bringing together experts to explore how far ∞-category theory can be formalized in proof assistants (like Lean).
More info in the next post 👇
September 23, 2025 at 4:52 PM
Definitiv ein guter Schritt von @bettinamartin.bsky.social
für unser Land #MV und @unigreifswald.bsky.social um Talente aus den #USA anzuziehen!
-Natürlich nur wenn Interessierte auch passend unterstützt und/oder finanziert werden können-
www.ostsee-zeitung.de/mecklenburg-...
für unser Land #MV und @unigreifswald.bsky.social um Talente aus den #USA anzuziehen!
-Natürlich nur wenn Interessierte auch passend unterstützt und/oder finanziert werden können-
www.ostsee-zeitung.de/mecklenburg-...
Als Headhunter ins Trump-Land: Ministerin Martin will Forscher für MV abwerben
Donald Trump fährt einen rigiden Wissenschaftskurs. Die Ressortchefin aus Schwerin kritisiert das scharf, sieht es aber auch als Chance für MV: Gemeinsam mit den Unis Rostock und Greifswald will Betti...
www.ostsee-zeitung.de
August 19, 2025 at 8:42 PM
Definitiv ein guter Schritt von @bettinamartin.bsky.social
für unser Land #MV und @unigreifswald.bsky.social um Talente aus den #USA anzuziehen!
-Natürlich nur wenn Interessierte auch passend unterstützt und/oder finanziert werden können-
www.ostsee-zeitung.de/mecklenburg-...
für unser Land #MV und @unigreifswald.bsky.social um Talente aus den #USA anzuziehen!
-Natürlich nur wenn Interessierte auch passend unterstützt und/oder finanziert werden können-
www.ostsee-zeitung.de/mecklenburg-...
This article by the always insightful @emilyriehl.bsky.social is very relatable indeed:
www.scientificamerican.com/article/math...
#AI doing exercises and problems in mathematics looks impressive, but how does that relate to research mathematics?
The honest answer is: we don't know yet!
www.scientificamerican.com/article/math...
#AI doing exercises and problems in mathematics looks impressive, but how does that relate to research mathematics?
The honest answer is: we don't know yet!
AI Crushed the Math Olympiad—Or Did It?
AI models supposedly did well on International Math Olympiad problems, but how they got their answers reminds us why we still need people doing math
www.scientificamerican.com
August 19, 2025 at 2:05 PM
This article by the always insightful @emilyriehl.bsky.social is very relatable indeed:
www.scientificamerican.com/article/math...
#AI doing exercises and problems in mathematics looks impressive, but how does that relate to research mathematics?
The honest answer is: we don't know yet!
www.scientificamerican.com/article/math...
#AI doing exercises and problems in mathematics looks impressive, but how does that relate to research mathematics?
The honest answer is: we don't know yet!
Rare #achievement unlocked:
Having 3 consecutively numbered papers on the #arXiv!
Never seen this before, so I count this as a record!
If you know of any other cases like this (or even higher) let me know!
Having 3 consecutively numbered papers on the #arXiv!
Never seen this before, so I count this as a record!
If you know of any other cases like this (or even higher) let me know!
August 14, 2025 at 9:12 PM
Rare #achievement unlocked:
Having 3 consecutively numbered papers on the #arXiv!
Never seen this before, so I count this as a record!
If you know of any other cases like this (or even higher) let me know!
Having 3 consecutively numbered papers on the #arXiv!
Never seen this before, so I count this as a record!
If you know of any other cases like this (or even higher) let me know!
🚨 New paper(s) alert! 🚨
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
August 12, 2025 at 7:44 AM
🚨 New paper(s) alert! 🚨
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
In a series of 3 papers I use a technical construction (filter quotients) to contruct models of (simplicial) homotopy type theory (HoTT).
This helps better understand #formalization and possibly the role for #AI in (simplicial) HoTT.
Links in the next posts:
Reposted by Nima Rasekh
Nima Rasekh
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
https://arxiv.org/abs/2508.07737
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
https://arxiv.org/abs/2508.07737
August 12, 2025 at 5:15 AM
Nima Rasekh
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
https://arxiv.org/abs/2508.07737
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
https://arxiv.org/abs/2508.07737
Reposted by Nima Rasekh
August 12, 2025 at 5:15 AM
Reposted by Nima Rasekh
August 12, 2025 at 5:16 AM
I am very excited to announce that my joint paper with @homotopykat.bsky.social titled ``Shadows are Bicategorical Traces" has been accepted in Advances in Mathematics.
The text might be very technical, but the intro is meant to be somewhat accessible to the casual reader:
arxiv.org/abs/2109.02144
The text might be very technical, but the intro is meant to be somewhat accessible to the casual reader:
arxiv.org/abs/2109.02144
LinkedIn
This link will take you to a page that’s not on LinkedIn
lnkd.in
June 27, 2025 at 5:43 AM
I am very excited to announce that my joint paper with @homotopykat.bsky.social titled ``Shadows are Bicategorical Traces" has been accepted in Advances in Mathematics.
The text might be very technical, but the intro is meant to be somewhat accessible to the casual reader:
arxiv.org/abs/2109.02144
The text might be very technical, but the intro is meant to be somewhat accessible to the casual reader:
arxiv.org/abs/2109.02144
Reposted by Nima Rasekh
Taichi Uemura
Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
https://arxiv.org/abs/2506.10431
Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
https://arxiv.org/abs/2506.10431
June 13, 2025 at 4:24 AM
Taichi Uemura
Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
https://arxiv.org/abs/2506.10431
Colimits in the $\infty$-category of $\infty$-topoi and \'etale morphisms
https://arxiv.org/abs/2506.10431
I recently contributed to the FrontierMath Tier 4 Challenge from @epochai.bsky.social which aims to design an #AI benchmark for advanced mathematics:
epoch.ai/frontiermath...
I found this experience fascinating & so elaborated on it somewhat. Check it out:
www.linkedin.com/posts/nimara...
epoch.ai/frontiermath...
I found this experience fascinating & so elaborated on it somewhat. Check it out:
www.linkedin.com/posts/nimara...
June 7, 2025 at 4:30 PM
I recently contributed to the FrontierMath Tier 4 Challenge from @epochai.bsky.social which aims to design an #AI benchmark for advanced mathematics:
epoch.ai/frontiermath...
I found this experience fascinating & so elaborated on it somewhat. Check it out:
www.linkedin.com/posts/nimara...
epoch.ai/frontiermath...
I found this experience fascinating & so elaborated on it somewhat. Check it out:
www.linkedin.com/posts/nimara...
Verrückte Zeiten wenn ich & #MarkusSoeder die selbe Meinung haben (wenn auch ein Exil-@harvard.edu ein bisschen ulkig ist).
Internationale Wissenschaft nach 🇩🇪 zu holen ist genau der richtige Ansatz und muss finanziell unterstützt werden!
www.spiegel.de/politik/deut... via @derspiegel @spiegel.de
Internationale Wissenschaft nach 🇩🇪 zu holen ist genau der richtige Ansatz und muss finanziell unterstützt werden!
www.spiegel.de/politik/deut... via @derspiegel @spiegel.de
Ministerin Bär plant »Rundum-sorglos-Paket« für ausländische Forschende
US-Präsident Trump macht ihnen das Forschen schwer, Wissenschaftsministerin Bär will nun Spitzenkräfte von US-Hochschulen nach Deutschland holen. Parteifreund Söder schwärmt bereits von einem »Exilcam...
www.spiegel.de
June 6, 2025 at 6:32 PM
Verrückte Zeiten wenn ich & #MarkusSoeder die selbe Meinung haben (wenn auch ein Exil-@harvard.edu ein bisschen ulkig ist).
Internationale Wissenschaft nach 🇩🇪 zu holen ist genau der richtige Ansatz und muss finanziell unterstützt werden!
www.spiegel.de/politik/deut... via @derspiegel @spiegel.de
Internationale Wissenschaft nach 🇩🇪 zu holen ist genau der richtige Ansatz und muss finanziell unterstützt werden!
www.spiegel.de/politik/deut... via @derspiegel @spiegel.de
A first concrete step by @ec.europa.eu seizing the current situation and further investing in the scientific future of 🇪🇺 via the (aptly named) "Choose Europe" Initiative.
Looking forward to further targeted efforts attracting global scientific talent!
commission.europa.eu/topics/resea...
Looking forward to further targeted efforts attracting global scientific talent!
commission.europa.eu/topics/resea...
Choose Europe: advance your research career in the EU
Move to the EU as a researcher or scientist. Discover how to relocate, find jobs and funding, and enjoy Europe's excellent quality of life.
commission.europa.eu
June 3, 2025 at 6:54 AM
A first concrete step by @ec.europa.eu seizing the current situation and further investing in the scientific future of 🇪🇺 via the (aptly named) "Choose Europe" Initiative.
Looking forward to further targeted efforts attracting global scientific talent!
commission.europa.eu/topics/resea...
Looking forward to further targeted efforts attracting global scientific talent!
commission.europa.eu/topics/resea...
Science and research in 🇪🇺 is currently in a unique moment. If there is an effort to seize the moment and attract scientific talent.
Similarly, there is a chance for a strong role for the Euro as a real reserve currency that can compete with💲, with proper regulatory choices.
Similarly, there is a chance for a strong role for the Euro as a real reserve currency that can compete with💲, with proper regulatory choices.
Was ist eigentlich eine Reservewährung und warum ist der Euro (noch) keine?
@philippasigl.bsky.social und @nilsgerresheim.bsky.social erklären, wie viel Macht in einer Währung steckt – und was Europa tun müsste, um global mitreden zu können.
🎧 Neue Folge open.spotify.com/episode/24Rn...
@philippasigl.bsky.social und @nilsgerresheim.bsky.social erklären, wie viel Macht in einer Währung steckt – und was Europa tun müsste, um global mitreden zu können.
🎧 Neue Folge open.spotify.com/episode/24Rn...
Kann der Euro den Dollar beerben?
Die Geldfrage · Episode
open.spotify.com
May 30, 2025 at 7:05 PM
Science and research in 🇪🇺 is currently in a unique moment. If there is an effort to seize the moment and attract scientific talent.
Similarly, there is a chance for a strong role for the Euro as a real reserve currency that can compete with💲, with proper regulatory choices.
Similarly, there is a chance for a strong role for the Euro as a real reserve currency that can compete with💲, with proper regulatory choices.
Couldn't have said it better myself!
🇪🇺 should indeed act more confidently and shape science and the technology of the future.
Für 🇩🇪 gilt das besonders!
From @pkrugman.bsky.social "Letter to Europe":
paulkrugman.substack.com/p/a-letter-t...
🇪🇺 should indeed act more confidently and shape science and the technology of the future.
Für 🇩🇪 gilt das besonders!
From @pkrugman.bsky.social "Letter to Europe":
paulkrugman.substack.com/p/a-letter-t...
A Letter to Europe
You’re stronger than you think. Act like it.
paulkrugman.substack.com
May 28, 2025 at 6:26 PM
Couldn't have said it better myself!
🇪🇺 should indeed act more confidently and shape science and the technology of the future.
Für 🇩🇪 gilt das besonders!
From @pkrugman.bsky.social "Letter to Europe":
paulkrugman.substack.com/p/a-letter-t...
🇪🇺 should indeed act more confidently and shape science and the technology of the future.
Für 🇩🇪 gilt das besonders!
From @pkrugman.bsky.social "Letter to Europe":
paulkrugman.substack.com/p/a-letter-t...
It's hard to exaggerate what a 72% cut in NSF funding will mean for mathematics in the US and the world.
Ideally the rest of the world (maybe EU?) will step up, but for the moment this is truly a disappointing development
www.nytimes.com/interactive/...
Ideally the rest of the world (maybe EU?) will step up, but for the moment this is truly a disappointing development
www.nytimes.com/interactive/...
Trump Has Cut Science Funding to Its Lowest Level in Decades
The lag in funding extends far beyond D.E.I. initiatives, affecting almost every area of science: chemistry, computing, engineering, materials and more.
www.nytimes.com
May 24, 2025 at 2:04 PM
It's hard to exaggerate what a 72% cut in NSF funding will mean for mathematics in the US and the world.
Ideally the rest of the world (maybe EU?) will step up, but for the moment this is truly a disappointing development
www.nytimes.com/interactive/...
Ideally the rest of the world (maybe EU?) will step up, but for the moment this is truly a disappointing development
www.nytimes.com/interactive/...
A rare occasion where I put a paper on the arXiv after being accepted (in Homology, Homotopy and Application).
In this short paper I show that we can nicely comine Lurie's unstraightening for quasi-categories with the more general ∞-cosmos framework of @emilyriehl.bsky.social and Verity.
In this short paper I show that we can nicely comine Lurie's unstraightening for quasi-categories with the more general ∞-cosmos framework of @emilyriehl.bsky.social and Verity.
May 23, 2025 at 11:28 AM
A rare occasion where I put a paper on the arXiv after being accepted (in Homology, Homotopy and Application).
In this short paper I show that we can nicely comine Lurie's unstraightening for quasi-categories with the more general ∞-cosmos framework of @emilyriehl.bsky.social and Verity.
In this short paper I show that we can nicely comine Lurie's unstraightening for quasi-categories with the more general ∞-cosmos framework of @emilyriehl.bsky.social and Verity.
You are an early career mathematician looking for postdoc positions (or you know somebody)?
Then check out this postdoc positions at the MPIM in Bonn with deadline 24.05:
www.mpim-bonn.mpg.de/application
Please share with whoever might be interested.
If you have questions feel free to ask!
Then check out this postdoc positions at the MPIM in Bonn with deadline 24.05:
www.mpim-bonn.mpg.de/application
Please share with whoever might be interested.
If you have questions feel free to ask!
Application for the Guest Program and for postdoc positions | Max Planck Institute for Mathematics
www.mpim-bonn.mpg.de
April 15, 2025 at 11:01 PM
You are an early career mathematician looking for postdoc positions (or you know somebody)?
Then check out this postdoc positions at the MPIM in Bonn with deadline 24.05:
www.mpim-bonn.mpg.de/application
Please share with whoever might be interested.
If you have questions feel free to ask!
Then check out this postdoc positions at the MPIM in Bonn with deadline 24.05:
www.mpim-bonn.mpg.de/application
Please share with whoever might be interested.
If you have questions feel free to ask!
This is an exciting development! Congrats
@emilyriehl.bsky.social !
Hope this encourages further editorial boards to leverage their collective ability to shape research and its accessibility!
@emilyriehl.bsky.social !
Hope this encourages further editorial boards to leverage their collective ability to shape research and its accessibility!
I am proud today to join the editorial board of a new diamond open access journal in logic:
Zeitschrift für Mathematische Logik
und Grundlagen der Mathematik
zml.international
The website includes an open letter from the editorial board with the following text:
Zeitschrift für Mathematische Logik
und Grundlagen der Mathematik
zml.international
The website includes an open letter from the editorial board with the following text:
ZML - Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik is an electronic Diamond Open Access research journal in mathematical logic publishing original research papers in all areas of m...
zml.international
April 8, 2025 at 7:12 AM
This is an exciting development! Congrats
@emilyriehl.bsky.social !
Hope this encourages further editorial boards to leverage their collective ability to shape research and its accessibility!
@emilyriehl.bsky.social !
Hope this encourages further editorial boards to leverage their collective ability to shape research and its accessibility!
Check out my talk "Formalization: Proving Theorems via Computers" organized by #Zaiku starting today (Monday) at 17 GMT:
youtube.com/live/vNVXPI8...
#formalization
youtube.com/live/vNVXPI8...
#formalization
Formalization: Proving Theorems via Computers
YouTube video by Zaiku Group
youtube.com
March 17, 2025 at 4:34 PM
Check out my talk "Formalization: Proving Theorems via Computers" organized by #Zaiku starting today (Monday) at 17 GMT:
youtube.com/live/vNVXPI8...
#formalization
youtube.com/live/vNVXPI8...
#formalization