Bourke, John

1. Two-dimensional regularity and exactness
   2013/04/18 by Bourke, John, Garner, Richard · 1 citation
   #Category Theory (math.CT) #FOS: Mathematics
2. Note on the construction of globular weak omega-groupoids from types,\n topological spaces etc
   2016/02/25 by John Bourke, Bourke, John · 1 citation
   Decision Sciences · Mathematics · #18D05 #Advanced Topics in Algebra #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Homotopy and Cohomology in Algebraic Topology
3. Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
   2024/12/10 by Nathanael Arkor, Arkor, Nathanael, John Bourke +3 · 2 voices · 2 citations
   Computer Science · Mathematics · #18C10 #18C30 #18C40 #18D20 #18M65 #18N10 #Category Theory (math.CT) #Data Visualization and Analytics #FOS: Mathematics #math.CT
4. 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