Types are weak ω‐groupoids B Van Den Berg, R Garner Proceedings of the london mathematical society 102 (2), 370-394, 2011 | 197 | 2011 |
Understanding the small object argument R Garner Applied categorical structures 17 (3), 247-285, 2009 | 156 | 2009 |
The identity type weak factorisation system N Gambino, R Garner Theoretical computer science 409 (1), 94-109, 2008 | 143 | 2008 |
Topological and simplicial models of identity types B Van Den Berg, R Garner ACM transactions on computational logic (TOCL) 13 (1), 1-44, 2012 | 102 | 2012 |
Algebraic weak factorisation systems I: Accessible AWFS J Bourke, R Garner Journal of Pure and Applied Algebra 220 (1), 108-147, 2016 | 85 | 2016 |
Enriched categories as a free cocompletion R Garner, M Shulman Advances in Mathematics 289, 1-94, 2016 | 71 | 2016 |
Two-dimensional models of type theory R Garner Mathematical structures in computer science 19 (4), 687-736, 2009 | 57 | 2009 |
The low-dimensional structures formed by tricategories R Garner, N Gurski Mathematical Proceedings of the Cambridge Philosophical Society 146 (3), 551-589, 2009 | 53 | 2009 |
Lex colimits R Garner, S Lack Journal of Pure and Applied Algebra 216 (6), 1372-1396, 2012 | 47 | 2012 |
Lifting accessible model structures R Garner, M Kędziorek, E Riehl Journal of Topology 13 (1), 59-76, 2020 | 44 | 2020 |
Monads and theories J Bourke, R Garner Advances in Mathematics 351, 1024-1071, 2019 | 44 | 2019 |
Homomorphisms of higher categories R Garner Advances in Mathematics 224 (6), 2269-2311, 2010 | 41 | 2010 |
On the axioms for adhesive and quasiadhesive categories R Garner, S Lack arXiv preprint arXiv:1108.2934, 2011 | 39 | 2011 |
Commutativity R Garner, IL Franco Journal of Pure and Applied Algebra 220 (5), 1707-1751, 2016 | 38 | 2016 |
Revisiting the categorical interpretation of dependent type theory PL Curien, R Garner, M Hofmann Theoretical Computer Science 546, 99-119, 2014 | 38 | 2014 |
On the strength of dependent products in the type theory of Martin-Löf R Garner Annals of Pure and Applied Logic 160 (1), 1-12, 2009 | 35 | 2009 |
The Vietoris monad and weak distributive laws R Garner Applied Categorical Structures 28 (2), 339-354, 2020 | 31 | 2020 |
Every 2-Segal space is unital M Feller, R Garner, J Kock, MU Proulx, M Weber arXiv preprint arXiv:1905.09580, 2019 | 29 | 2019 |
Algebraic weak factorisation systems II: Categories of weak maps J Bourke, R Garner Journal of Pure and Applied Algebra 220 (1), 148-174, 2016 | 26 | 2016 |
Polycategories via pseudo-distributive laws R Garner Advances in Mathematics 218 (3), 781-827, 2008 | 26 | 2008 |