- Homotopical inverse diagrams in categories with attributes
2018/08/06 by Chris Kapulkin, Kapulkin, Chris, Peter LeFanu Lumsdaine +1 · 1 citation
Computer Science · Mathematics · #03B15 Higher-order logic and type theory (primary) #03G30 Categorical logic #18C50 Categorical semantics of formal languages #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #Topological and Geometric Data Analysis #topoi