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:
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