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
🗓️ 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...
📬 Deadline: December 15, 2025
🔗 Group Website:
www.epfl.ch/labs/hessbel...
🔗 Application Link:
docs.google.com/forms/d/e/1F...
docs.google.com
November 7, 2025 at 11:01 PM
🗓️ 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...
📬 Deadline: December 15, 2025
🔗 Group Website:
www.epfl.ch/labs/hessbel...
🔗 Application Link:
docs.google.com/forms/d/e/1F...
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...
🔗 icerm.brown.edu/program/topi...
Apply here:
🔗 app.icerm.brown.edu/Cube/apply/607
LinkedIn Post with more details:
🔗 www.linkedin.com/posts/nimara...
icerm.brown.edu
November 7, 2025 at 9:02 PM
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...
🔗 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👉
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👉
November 7, 2025 at 9:02 PM
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👉
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
🔗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
November 7, 2025 at 8:58 PM
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
🔗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👉
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👉
November 7, 2025 at 8:58 PM
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👉
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
🔗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
November 7, 2025 at 8:55 PM
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
🔗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👉
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👉
November 7, 2025 at 8:55 PM
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👉
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
🔗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
October 31, 2025 at 1:59 PM
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
🔗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
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 👇
🔗 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 👇
forms.gle
September 25, 2025 at 7:53 PM
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 👇
🔗 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 👇
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
🔗https://www.linkedin.com/posts/nimarasekh_math-formalization-ai-activity-7377064045968826368-BLgt?utm_source=share&utm_medium=member_desktop&rcm=ACoAAAoNXqQBS2mb2IFY7PQdQ0UY4Yi31nJiXq8
September 25, 2025 at 7:51 PM
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
🔗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 👇
🔗 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 👇
Formalizing Higher Categories - Mittag-Leffler
Higher category theory is now a fundamental aspect of modern mathematics, playing a crucial role in algebraic topology, algebraic geometry,...
www.mittag-leffler.se
September 25, 2025 at 7:51 PM
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 👇
🔗 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 👇
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
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
Filter Quotient Model Structures
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively ...
arxiv.org
August 12, 2025 at 7:44 AM
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
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:
www.linkedin.com/posts/nimara...
Links to the papers in the last post:
🚨 New paper(s) alert! | Nima Rasekh
🚨 New paper(s) alert! 🚨
Homotopy type theory (HoTT) is a cool new foundation for mathematics. It is used extensively to formalize proofs, particularly in homotopical mathematics. The same applies to ...
www.linkedin.com
August 12, 2025 at 7:44 AM
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:
www.linkedin.com/posts/nimara...
Links to the papers in the last post:
Technical Construction Paper: <https://arxiv.org/abs/2508.07735>
Model for Homotopy Type Theory: <https://arxiv.org/abs/2508.07736>
Model for simplicial Homotopy Type Theory: <https://arxiv.org/abs/2508.07737>
Model for Homotopy Type Theory: <https://arxiv.org/abs/2508.07736>
Model for simplicial Homotopy Type Theory: <https://arxiv.org/abs/2508.07737>
August 12, 2025 at 7:39 AM
Technical Construction Paper: <https://arxiv.org/abs/2508.07735>
Model for Homotopy Type Theory: <https://arxiv.org/abs/2508.07736>
Model for simplicial Homotopy Type Theory: <https://arxiv.org/abs/2508.07737>
Model for Homotopy Type Theory: <https://arxiv.org/abs/2508.07736>
Model for simplicial Homotopy Type Theory: <https://arxiv.org/abs/2508.07737>