Seip, Paul

1. A constructive approach to the double-categorical small object argument
   2025/12/12 by Berg, Benno van den, Bourke, John, Seip, Paul · 1 citation
   Computer Science · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems