Verity, Dominic
- Homotopy coherent adjunctions and the formal theory of monads
2013/10/30 by Riehl, Emily, Verity, Dominic · 3 citations
#18D20 #18G30 #55U10 #55U35 #55U40 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Primary 18G55 #Secondary 18A40
- Infinity category theory from scratch
2016/08/18 by Riehl, Emily, Verity, Dominic · 1 citation
#18G55 #55U35 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
- Gray tensor product and saturated N-complicial sets
2020/07/02 by Viktoriya Ozornova, Ozornova, Viktoriya, Martina Rovelli +3 · 1 citation
Mathematics · Medicine · #18D05 #18G30 #55U10 #55U35 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Retinal Diseases and Treatments
- Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory
2006/04/19 by Dominic Verity, Verity, Dominic · 1 citation
Mathematics · #18D05 #18D20 #18D35 #18F99 #18G30 (Secondary) #55U10 (Primary) 18D15 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology