North, Paige Randall

1. Towards a directed homotopy type theory
   2018/07/27 by North, Paige Randall · 2 citations
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
2. Categorical Diffusion of Weighted Lattices
   2025/01/07 by Robert Ghrist, Ghrist, Robert, Rojas López +5 · 2 citations
   Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Rough Sets and Fuzzy Logic
3. Univalent Double Categories
   2023/10/13 by Niels van der Weide, van der Weide, Niels, Nima Rasekh +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems