Shulman, Michael

1. Homotopy type theory: the logic of space
   2017/03/08 by Michael Shulman, Shulman, Michael · 2 voices · 2 citations
   Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
2. Traces in symmetric monoidal categories
   2011/07/29 by Ponto, Kate, Shulman, Michael · 3 citations
   #18D10 #55P25 #Category Theory (math.CT) #FOS: Mathematics
3. Calculating the Fundamental Group of the Circle in Homotopy Type Theory
   2013/01/15 by Licata, Daniel R., Shulman, Michael · 3 citations
   #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Programming Languages (cs.PL)
4. The linearity of traces in monoidal categories and bicategories
   2014/06/30 by Ponto, Kate, Shulman, Michael · 2 citations
   #18D05 #18D10 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
5. Enriched categories as a free cocompletion
   2013/01/15 by Richard Garner, Garner, Richard, Michael Shulman +1 · 1 citation
   Mathematics · #18A35 #18D05 #18D20 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
6. The univalence axiom for elegant Reedy presheaves
   2013/07/23 by Shulman, Michael · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
7. Brouwer's fixed-point theorem in real-cohesive homotopy type theory
   2015/09/25 by Shulman, Michael · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
8. Univalence for inverse EI diagrams
   2015/08/10 by Shulman, Michael · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
9. All (∞,1)-toposes have strict univalent universes
   2019/04/15 by Shulman, Michael · 1 citation
   #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
10. Constructing symmetric monoidal bicategories functorially
    2019/10/21 by Hansen, Linde Wester, Shulman, Michael · 1 citation
    #Category Theory (math.CT) #FOS: Mathematics
11. The derivator of setoids
    2021/05/17 by Michael Shulman, Shulman, Michael · 1 citation
    Computer Science · Mathematics · #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems
12. Displayed Type Theory and Semi-Simplicial Types
    2023/11/30 by Astra Kolomatskaia, Kolomatskaia, Astra, Michael Shulman +1 · 1 citation
    Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
13. Categories of Nets
    2021/01/11 by Baez, John C., Genovese, Fabrizio, Master, Jade +1 · 1 citation
    #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL)
14. A practical type theory for symmetric monoidal categories
    2019/11/03 by Michael Shulman, Shulman, Michael · 1 citation
    Mathematics · Computer Science · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems