@nimarasekh
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
👉 LinkedIn Post with further details:
🔗 www.linkedin.com/posts/nimara...
👉 Some background on petit vs. gros:
🔗 ncatlab.org/nlab/show/bi...
👉 A nice introduction to condensed mathematics:
🔗 www.math.uni-bonn.de/people/schol...
🚨New paper alert!🚨
My new paper with Qi Zhu is out!
We show that condensed mathematics, due to Scholze & Clausen, admits a fractured structure.
This means condensed objects are "gros objects" with the "petit objects" given by regular sheaves on spaces!
Links in next post👇
🔗 Application Link:
www.uu.nl/en/organisat...
🔗 Faculty Webpage:
paigenorth.github.io
🎓 PhD Position Alert! 🚀
Are you looking for a PhD position in category theory and type theory? 📚✨
Then check out this exciting opportunity at Utrecht University 🇳🇱 under the supervision of Paige Randall North!
🗓 Deadline: April 6th, 2026
🔗 Link in the next post 👇
🚨 Putting this back on your radar:
The deadline for the ICERM Graduate Training Workshop on ∞-categories with proof-assistants (organized with @emilyriehl.bsky.social and Jonathan Weinberger) is getting close!
📬Application deadline: March 31, 2026.
Full details + links in the post below 👇
LinkedIn Post:
🔗 www.linkedin.com/posts/nimara...
2025 was an exciting year!🥳🥳🥳
2026 will be an even better year!🎉🎉🎉
If you want to know more about what I have been up to this year, and what my plans are for 2026, check out the next post👉
🗓️ Starting date: September 1, 2026
📬 Deadline: December 15, 2025
🔗 Group Website:
www.epfl.ch/labs/hessbel...
🔗 Application Link:
docs.google.com/forms/d/e/1F...
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👉
Summer school webpage:
🔗 icerm.brown.edu/program/topi...
Apply here:
🔗 app.icerm.brown.edu/Cube/apply/607
LinkedIn Post with more details:
🔗 www.linkedin.com/posts/nimara...
If you’re a graduate student who wants to learn about ∞-category theory please apply!
Some background in category theory or homotopy type theory can't hurt!
📍 @icerm.bsky.social
🗓️ Workshop dates: August 17–21, 2026
📬 Deadline: March 31, 2026
Links in the next post👉
🌞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👉
Summer school webpage:
🔗https://icerm.brown.edu/program/topical_workshop/tw-26-thc
Apply here:
🔗https://app.icerm.brown.edu/Cube/apply/607
LinkedIn Post with more details:
🔗https://www.linkedin.com/posts/nimarasekh_mathematics-categorytheory-homotopytheory-activity-7392658311843794944-DB-b
If you’re a graduate student who wants to learn about ∞-category theory please apply!
Some background in category theory or homotopy type theory can't hurt!
📍 @icerm.bsky.social
🗓️ Workshop dates: August 17–21, 2026
📬 Deadline: March 31, 2026
Links in the next post👉
Summer school webpage:
🔗https://icerm.brown.edu/program/topical_workshop/tw-26-thc
Apply here:
🔗https://app.icerm.brown.edu/Cube/apply/607
LinkedIn Post with more details:
🔗https://www.linkedin.com/posts/nimarasekh_mathematics-categorytheory-homotopytheory-activity-7392658311843794944-DB-b
If you’re a graduate student who wants to learn about ∞-category theory please apply!
Some background in category theory or homotopy type theory can't hurt!
📍 @icerm.bsky.social
🗓️ Workshop dates: August 17–21, 2026
📬 Deadline: March 31, 2026
Links in the next post👉
Conference:
🔗https://sites.google.com/view/higherstructures/meetings
LinkedIn Post:
🔗https://www.linkedin.com/posts/nimarasekh_higher-structures-meetings-activity-7390019048681521154-5jQY
Papers:
🔗https://arxiv.org/abs/2508.07735
🔗https://arxiv.org/abs/2508.07736
🔗https://arxiv.org/abs/2508.07737
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👉
🚨 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...
You can find more details about the event in this LinkedIn Post:
🔗 www.linkedin.com/posts/nimara...
Event website:
🔗 www.mittag-leffler.se/activities/f...
The event is invitation only, but there is the option of expressing interest (deadline October 7)
🔗 forms.gle/GfRFQj2jhQHi...
If you want more details you can check out the last post 👇
🚀 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 👇
More details in this LinkedIn Post:
🔗https://www.linkedin.com/posts/nimarasekh_math-formalization-ai-activity-7377064045968826368-BLgt?utm_source=share&utm_medium=member_desktop&rcm=ACoAAAoNXqQBS2mb2IFY7PQdQ0UY4Yi31nJiXq8
Event website:
🔗 www.mittag-leffler.se/activities/f...
The event is invitation only, but there is the option of expressing interest (deadline October 7)
🔗 forms.gle/GfRFQj2jhQHi...
If you want more details you can check out the last post 👇
Every postdoc whenever fall comes around again:
#AcademicLife #JobMarket #PostDocLife
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-...
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!
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!
Technical Construction Paper:
arxiv.org/abs/2508.07735
Model for Homotopy Type Theory:
arxiv.org/abs/2508.07736
Model for simplicial Homotopy Type Theory:
arxiv.org/abs/2508.07737
Here is a #LinkedIn post with a much more detailed intro to the subject and overview of the papers:
www.linkedin.com/posts/nimara...
Links to the papers in the last post: