Types are weak *ω*‐groupoidsB Van Den Berg, R Garner Proceedings of the london mathematical society 102 (2), 370-394, 2011 | 194 | 2011 |

Understanding the small object argument R Garner Applied categorical structures 17 (3), 247-285, 2009 | 148 | 2009 |

The identity type weak factorisation system N Gambino, R Garner Theoretical computer science 409 (1), 94-109, 2008 | 142 | 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 | 99 | 2012 |

Algebraic weak factorisation systems I: Accessible AWFS J Bourke, R Garner Journal of Pure and Applied Algebra 220 (1), 108-147, 2016 | 77 | 2016 |

Enriched categories as a free cocompletion R Garner, M Shulman Advances in Mathematics 289, 1-94, 2016 | 63 | 2016 |

Two-dimensional models of type theory R Garner Mathematical structures in computer science 19 (4), 687-736, 2009 | 54 | 2009 |

The low-dimensional structures formed by tricategories R Garner, N Gurski Mathematical Proceedings of the Cambridge Philosophical Society 146 (3), 551-589, 2009 | 52 | 2009 |

Lifting accessible model structures R Garner, M Kędziorek, E Riehl Journal of Topology 13 (1), 59-76, 2020 | 43 | 2020 |

Lex colimits R Garner, S Lack Journal of Pure and Applied Algebra 216 (6), 1372-1396, 2012 | 41 | 2012 |

Monads and theories J Bourke, R Garner Advances in Mathematics 351, 1024-1071, 2019 | 39 | 2019 |

On the axioms for adhesive and quasiadhesive categories R Garner, S Lack arXiv preprint arXiv:1108.2934, 2011 | 38 | 2011 |

Homomorphisms of higher categories R Garner Advances in Mathematics 224 (6), 2269-2311, 2010 | 38 | 2010 |

Revisiting the categorical interpretation of dependent type theory PL Curien, R Garner, M Hofmann Theoretical Computer Science 546, 99-119, 2014 | 36 | 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 | 36 | 2009 |

Commutativity R Garner, IL Franco Journal of Pure and Applied Algebra 220 (5), 1707-1751, 2016 | 32 | 2016 |

Polycategories via pseudo-distributive laws R Garner Advances in Mathematics 218 (3), 781-827, 2008 | 27 | 2008 |

Every 2-Segal space is unital M Feller, R Garner, J Kock, MU Proulx, M Weber arXiv preprint arXiv:1905.09580, 2019 | 26 | 2019 |

The Vietoris monad and weak distributive laws R Garner Applied Categorical Structures 28 (2), 339-354, 2020 | 25 | 2020 |

Algebraic weak factorisation systems II: Categories of weak maps J Bourke, R Garner Journal of Pure and Applied Algebra 220 (1), 148-174, 2016 | 24 | 2016 |