Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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
-
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 AccessFile5 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)4 Downloads (Pure) -
An essential local geometric morphism which is not locally connected though its inverse image part is an exponential ideal
Garner, R. & Streicher, T., 2021, In: Theory and Applications of Categories. 37, 26, p. 908-913 6 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Cartesian differential categories as skew enriched categories
Garner, R. & Lemay, J-S. P., Dec 2021, In: Applied Categorical Structures. 29, 6, p. 1099-1150 52 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Citation (Scopus)6 Downloads (Pure)
Prizes
-
Highly Commended Finalist - Vice-Chancellor's Learning and Teaching Student-Nominated Award
Garner, Richard (Recipient), 21 Nov 2022
Prize: Teaching award