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.

- 6 Similar Profiles

Factorization System
Mathematics

Monads
Mathematics

Enriched Category
Mathematics

Colimit
Mathematics

Exactness
Mathematics

Type Theory
Mathematics

Functor
Mathematics

Bicategory
Mathematics

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

## Projects 2011 2017

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

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

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

Embedding Theorem

Tangent line

Enriched Category

Tangent vector

Differential Geometry

## 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., 16Research output: Contribution to journal › Article

Open Access

File

Monads

Correspondence

Enriched Category

Bicategory

Colimit

## Bousfield Localisation and Colocalisation of One-Dimensional Model Structures

Balchin, S. & Garner, R. 10 Aug 2018 In : Applied Categorical Structures.Research output: Contribution to journal › Article

Model Category

One-dimensional Model

Model structures

Adjoint Functors

Injective

## Shapely monads and analytic functors

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

Monads

Functor

Algebra

Presheaves

Calculus

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

Factorization System

Monads

Morphisms