Paige Randall North
- Categorical Diffusion of Weighted Lattices
2025/01/07 by Robert Ghrist, Rojas López, Ghrist, Robert +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Rough Sets and Fuzzy Logic
- 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