I am an Associate Professor in the School of Mathematical and Physical Sciences at Macquarie University in Sydney. My research interests are in category theory and its applications to logic, topology, geometry and computer science.

I would gladly receive papers from you in my capacity as editor for the following journals:

- Applied Categorical Structures
- Higher Structures
- Mathematical Structures in Computer Science
- Theory and Applications of Categories

- Phone:
- Office:
- Email:
- Address:

- +61 9850 8923
- 12 Wally's Walk 718
- School of Mathematical and Physical Sciences Macquarie University, NSW 2109, Australia

As is customary in mathematics, authors are listed in alphabetical order, and papers are assumed to be equal collaborations between all of the listed authors.

Richard Garner

Richard Garner

Nicola Gambino, Richard Garner and Christina Vasilakopoulou

Richard Garner

Richard Garner

9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Leibniz International Proceedings in Informatics 211 (2021), 17 pages

Richard Garner and Thomas Streicher

Theory and Application of Categories 37 (2021), pages 908–913

Richard Garner and Jean-Simon Lemay

Applied Categorical Structures 29 (2021), pages 1099–1150

Robin Cockett and Richard Garner

Advances in Mathematics 392 (2021), pages 1–79

Richard Garner, Joachim Kock and Mark Weber

Advances in Mathematics 377 (2021), pages 1–23

Matthew Feller, Richard Garner, Joachim Kock, May Proulx and Mark Weber

Communications in Contemporary Mathematics 23 (2021), pages 1–6

Richard Garner

Annals of Pure and Applied Logic 171 (2020), pages 1–29

Richard Garner and Daniel Lin

Theory and Applications of Categories 35 (2020), pages 809–844

Richard Garner, Magdalena Kedziorek and Emily Riehl

Journal of Topology 13 (2020), pages 59–76

Richard Garner

Applied Categorical Structures 28 (2019), pages 339–354

John Bourke and Richard Garner

Advances in Mathematics 351 (2019), pages 1024–1073

Scott Balchin and Richard Garner

Applied Categorical Structures 27 (2019), pages 1–21

Richard Garner and John Power

Logical Methods in Computer Science 14 (2018), 23 pages

Richard Garner and Tom Hirschowitz

Journal of Logic and Computation 28 (2018), pages 33–83

Richard Garner

Advances in Mathematics 323 (2018), pages 668–687

Richard Garner, Stephen Lack and Paul Slevin

Annals of K-Theory 3-1 (2018), pages 1–31

Richard Garner and Ross Street

Bulletin of the Belgian Mathematical Society 23 (2016), pages 643–666

Mitchell Buckley and Richard Garner

Advances in Mathematics 303 (2016), pages 175–191

Richard Garner and Daniel Schäppi

Mathematical Proceedings of the Cambridge Philosophical Society 161 (2016), pages 47–51

Richard Garner and Michael Shulman

Advances in Mathematics 289 (2016), pages 1–94

Richard Garner and Ignacio López Franco

Journal of Pure and Applied Algebra 220 (2016), pages 1707–1751

John Bourke and Richard Garner

Journal of Pure and Applied Algebra 220 (2016), pages 148–174

John Bourke and Richard Garner

Journal of Pure and Applied Algebra 220 (2016), pages 108–147

Richard Garner

Advances in Mathematics 274 (2015), pages 516–537

Mitchell Buckley, Richard Garner, Stephen Lack and Ross Street

Mathematical Proceedings of the Cambridge Philosophical Society 158 (2015), pages 211–222

Richard Garner

Journal of Pure and Applied Algebra 219 (2015), pages 1885–1914

Richard Garner

Theory and Applications of Categories 29 (2014), pages 775–780

Richard Garner

Theory and Applications of Categories 29 (2014), pages 406–421

Richard Garner

Journal of Pure and Applied Algebra 218 (2014), pages 1973–1988

John Bourke and Richard Garner

Journal of Pure and Applied Algebra 218 (2014), pages 1346–1371

Pierre-Louis Curien, Richard Garner and Martin Hofmann

Theoretical Computer Science 546 (2014), pages 99–119

Robin Cockett and Richard Garner

Theoretical Computer Science 523 (2014), pages 37–55

Richard Garner and Stephen Lack

Theory and Application of Categories 27 (2012), pages 27–46

Richard Garner

Journal of Pure and Applied Algebra 216 (2012), pages 1734–1747

Richard Garner

Journal of Logic and Computation 22 (2012), pages 1427–1452

Richard Garner

Theory and Applications of Categories 27 (2012), pages 2–9

Richard Garner and Stephen Lack

Journal of Algebra 355 (2012), pages 111–127

Richard Garner and Stephen Lack

Journal of Pure and Applied Algebra 216 (2012), pages 1372–1396

Benno van den Berg and Richard Garner

Transactions of the ACM on Computational Logic 13 (2012), pages 3:1–3:44

Richard Garner, Tom Hirschowitz and Aurélien Pardon

Lecture Notes in Computer Science 5710 (2009), pages 321–337

Richard Garner

Mathematical Structures in Computer Science 19 (2009), pages 687–736

Richard Garner

Mathematical Proceedings of the Cambridge Philosophical Society 147 (2009), pages 615–628

Richard Garner

Annals of Pure and Applied Logic 160 (2009), pages 1–12

Richard Garner

Applied Categorical Structures 17 (2009), pages 247–285

Richard Garner and Nick Gurski

Mathematical Proceedings of the Cambridge Philosophical Society 146 (2009), pages 551–589

Where possible, the files uploaded below are the slides or notes from the talk itself. In the case of a board talk, I provide as the next best thing the notes I made for myself beforehand.

Dresden Seminar Geometric Methods in Mathematics · October 23

Sydney Algebra Seminar · August 26

TACL 2022 · June 24

Australian Category Seminar · June 8 and June 15

Australian Category Seminar · April 13