Projects per year

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 7 Similar Profiles

##
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.

## Projects 2011 2022

## 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 → …

Project: Research

## Working synthetically in higher categorical structures

Lack, S., Verity, D., Garner, R. & Street, R.

19/06/19 → 18/06/22

Project: Other

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

## Research Output 2006 2019

## Bousfield localisation and colocalisation of one-dimensional model structures

Balchin, S. & Garner, R., 15 Feb 2019, In : Applied Categorical Structures. 27, 1, p. 1-21 21 p.Research output: Contribution to journal › Article › Research › peer-review

## An embedding theorem for tangent categories

Garner, R., 7 Jan 2018, In : Advances in Mathematics. 323, p. 668-687 20 p.Research output: Contribution to journal › Article › Research › peer-review

## An enriched view on the extended finitary monad–Lawvere theory correspondence

Garner, R. & Power, J., 27 Feb 2018, In : Logical Methods in Computer Science. 14, 1, p. 1-23 23 p., 16.Research output: Contribution to journal › Article › Research › peer-review

## Shapely monads and analytic functors

Garner, R. & Hirschowitz, T., 1 Feb 2018, In : Journal of Logic and Computation. 28, 1, p. 33-83 029.Research output: Contribution to journal › Article › Research › peer-review

## Algebraic weak factorisation systems I: accessible AWFS

Bourke, J. & Garner, R., 1 Jan 2016, In : Journal of Pure and Applied Algebra. 220, 1, p. 108-147 40 p.Research output: Contribution to journal › Article › Research › peer-review