Projects per year
Fingerprint
Dive into the research topics where Richard Garner is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
DE23: New Foundations for Algebraic Geometry
Garner, R. & Lemay, J.
10/04/23 → 9/04/26
Project: Research
-
-
Working synthetically in higher categorical structures
Lack, S., Verity, D., Garner, R. & Street, R.
19/06/19 → 18/06/22
Project: Other
-
Monoidal categories and beyond: new contexts and new applications
Street, R., Verity, D., Lack, S., Garner, R. & MQRES Inter Tuition Fee only, M. I. T. F. O.
30/06/16 → 17/06/19
Project: Research
-
Structural homotopy theory: a category-theoretic study
Street, R., Lack, S., Verity, D., Garner, R., MQRES, M., MQRES 3 (International), M. 3., MQRES 4 (International), M. & MQRES (International), M.
1/01/13 → 31/12/16
Project: Research
-
Cartesian closed varieties I: the classification theorem
Garner, R., Nov 2024, In: Algebra Universalis. 85, 4, p. 1-37 37 p., 38.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Downloads (Pure) -
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
Gambino, N., Garner, R. & Vasilakopoulou, C., 2024, In: Documenta Mathematica. 29, 3, p. 627-702 76 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)18 Downloads (Pure) -
Hypernormalisation in an abstract setting
Garner, R., Aug 2023, In: Information and Computation. 293, p. 1-27 27 p., 105044.Research output: Contribution to journal › Article › peer-review
-
Stream processors and comodels
Garner, R., 12 Jan 2023, In: Logical Methods in Computer Science. 19, 1, p. 2:1-2:24 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile45 Downloads (Pure) -
The costructure-cosemantics adjunction for comodels for computational effects
Garner, R., Apr 2022, In: Mathematical Structures in Computer Science. 32, 4, p. 374–419 46 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)39 Downloads (Pure)
Prizes
-
Highly Commended Finalist - Vice-Chancellor's Learning and Teaching Student-Nominated Award
Garner, Richard (Recipient), 21 Nov 2022
Prize: Teaching award
-
Winner - Vice-Chancellor's Learning and Teaching Student-Nominated Award 2023
Garner, Richard (Recipient), 15 Nov 2023
Prize: Teaching award