Michael Shulman

Identifiers

• name variant Michael Shulman 0.60 · backfill

Papers (38)

1. Doubly weak double categories math.CT · 2025 · author #2
2. The derivator of setoids math.CT · 2021 · author #1
3. Categories of Nets math.CT · 2021 · author #4
4. A Higher Structure Identity Principle math.LO · 2020 · author #3
5. A practical type theory for symmetric monoidal categories math.CT · 2019 · author #1
6. Constructing symmetric monoidal bicategories functorially math.CT · 2019 · author #2
7. Construction of the Circle in UniMath math.LO · 2019 · author #4
8. All $(\infty,1)$-toposes have strict univalent universes math.AT · 2019 · author #1
9. Comparing material and structural set theories math.LO · 2018 · author #1
10. The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions math.CT · 2018 · author #1
11. Homotopy type theory: the logic of space math.CT · 2017 · author #1
12. Parametricity, automorphisms of the universe, and excluded middle cs.LO · 2017 · author #4
13. Contravariance through enrichment math.CT · 2016 · author #1
14. Homotopy Type Theory: A synthetic approach to higher equalities math.LO · 2016 · author #1
15. Brouwer's fixed-point theorem in real-cohesive homotopy type theory math.CT · 2015 · author #1
16. Univalence for inverse EI diagrams math.AT · 2015 · author #1
17. Reedy categories and their generalizations math.AT · 2015 · author #1
18. Of Matters Condensed physics.soc-ph · 2015 · author #1
19. The linearity of fixed point invariants math.AT · 2014 · author #2
20. The linearity of traces in monoidal categories and bicategories math.CT · 2014 · author #2
21. The univalence axiom for elegant Reedy presheaves math.AT · 2013 · author #1
22. Mayer-Vietoris sequences in stable derivators math.CT · 2013 · author #3
23. Univalent categories and the Rezk completion math.CT · 2013 · author #3
24. Calculating the Fundamental Group of the Circle in Homotopy Type Theory math.LO · 2013 · author #2
25. Enriched categories as a free cocompletion math.CT · 2013 · author #2
26. Enriched indexed categories math.CT · 2012 · author #1
27. The additivity of traces in monoidal derivators math.AT · 2012 · author #3
28. Duality and traces for indexed monoidal categories math.CT · 2012 · author #2
29. The Shape of Infinity math.GN · 2012 · author #1
30. Exact completions and small sheaves math.CT · 2012 · author #1
31. Univalence for inverse diagrams and homotopy canonicity math.CT · 2012 · author #1
32. The multiplicativity of fixed point invariants math.AT · 2012 · author #2
33. Traces in symmetric monoidal categories math.CT · 2011 · author #2
34. Enhanced 2-categories and limits for lax morphisms math.CT · 2011 · author #2
35. Shadows and traces in bicategories math.CT · 2009 · author #2
36. Comparing composites of left and right derived functors math.CT · 2007 · author #1
37. Homotopy limits and colimits and enriched homotopy theory math.AT · 2006 · author #1
38. Lectures on n-Categories and Cohomology math.CT · 2006 · author #2

Mentions

• 1911.00818 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 2105.08152 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 2101.04238 #4 · arxiv_oai · confidence 0.70 Michael Shulman
• 1910.01856 #4 · arxiv_oai · confidence 0.70 Michael Shulman
• 2004.06572 #3 · arxiv_oai · confidence 0.70 Michael Shulman
• 1806.06082 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1910.09240 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1904.07004 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• math/0608420 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1303.0584 #3 · arxiv_oai · confidence 0.70 Michael Shulman
• 1203.3253 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1808.05204 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1606.05058 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1406.7861 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1701.05617 #4 · arxiv_oai · confidence 0.70 Michael Shulman
• 1509.07584 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1508.02410 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1703.03007 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1601.05035 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1301.3191 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1507.01065 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1502.03103 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1307.6248 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1203.0950 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1406.7854 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1212.3914 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1212.3277 #3 · arxiv_oai · confidence 0.70 Michael Shulman
• 1306.2072 #3 · arxiv_oai · confidence 0.70 Michael Shulman
• 1107.6032 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1301.3443 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1211.1555 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 0910.1306 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1209.2735 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1203.4318 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1104.2111 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 0706.2868 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• math/0610194 #1 · arxiv_oai · confidence 0.70 Michael Shulman
• 1509.07584 #1 · backfill · confidence 0.70 Michael Shulman
• 1508.02410 #1 · backfill · confidence 0.70 Michael Shulman
• 1507.01065 #1 · backfill · confidence 0.70 Michael Shulman
• 1502.03103 #1 · backfill · confidence 0.70 Michael Shulman
• 1406.7861 #2 · backfill · confidence 0.70 Michael Shulman
• 1406.7854 #2 · backfill · confidence 0.70 Michael Shulman
• 1307.6248 #1 · backfill · confidence 0.70 Michael Shulman
• 1306.2072 #3 · backfill · confidence 0.70 Michael Shulman
• 1303.0584 #3 · backfill · confidence 0.70 Michael Shulman
• 1301.3443 #2 · backfill · confidence 0.70 Michael Shulman
• 1301.3191 #2 · backfill · confidence 0.70 Michael Shulman
• 1212.3914 #1 · backfill · confidence 0.70 Michael Shulman
• 1212.3277 #3 · backfill · confidence 0.70 Michael Shulman
• 1211.1555 #2 · backfill · confidence 0.70 Michael Shulman
• 2506.23651 #2 · arxiv_oai · confidence 0.70 Michael Shulman
• 1209.2735 #1 · backfill · confidence 0.70 Michael Shulman
• 1203.4318 #1 · backfill · confidence 0.70 Michael Shulman
• 1203.3253 #1 · backfill · confidence 0.70 Michael Shulman
• 1203.0950 #2 · backfill · confidence 0.70 Michael Shulman
• 1107.6032 #2 · backfill · confidence 0.70 Michael Shulman
• 1104.2111 #2 · backfill · confidence 0.70 Michael Shulman
• 0910.1306 #2 · backfill · confidence 0.70 Michael Shulman
• 0706.2868 #1 · backfill · confidence 0.70 Michael Shulman

Frequent Coauthors

• Kate Ponto 8 shared papers
• Benedikt Ahrens 2 shared papers
• John C. Baez 2 shared papers
• Moritz Groth 2 shared papers
• Aaron David Fairbanks 1 shared papers
• Auke Bart Booij 1 shared papers
• Chris Kapulkin 1 shared papers
• Daniel R. Grayson 1 shared papers
• Daniel R. Licata 1 shared papers
• Dimitris Tsementzis 1 shared papers
• Fabrizio Genovese 1 shared papers
• Jade Master 1 shared papers
• Linde Wester Hansen 1 shared papers
• Marc Bezem 1 shared papers
• Marc Warner 1 shared papers
• Mart\'in H\"otzel Escard\'o 1 shared papers
• Paige Randall North 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers
• Richard Garner 1 shared papers
• Stephen Lack 1 shared papers