On the ∞$\infty$‐topos semantics of homotopy type theory

Overview of attention for article published in Bulletin of the London Mathematical Society, February 2024

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
Among the highest-scoring outputs from this source (#17 of 1,051)
High Attention Score compared to outputs of the same age (87th percentile)
High Attention Score compared to outputs of the same age and source (90th percentile)

So far, Altmetric has seen 25 X posts from 19 X users, with an upper bound of 23,857 followers.

On the $\infty$-topos semantics of homotopy type theory. https://t.co/aW2fsmFghg

RT @mathCTbot: universes in any $\infty$-topos. As we will explain, this achievement was the product of a community effort to abstract and…

RT @mathCTbot: to survey the state of the art, first presenting Voevodsky's simplicial model of univalent foundations and then touring Shul…

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 21 additional X posts.