Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
Home
Profiles
Research Units
Projects
Research Outputs
Prizes
Activities
Press / Media
Impacts
Search by expertise, name or affiliation
Structural homotopy theory: a category-theoretic study
Street, Ross
(Primary Chief Investigator)
Lack, Steve
(Chief Investigator)
Verity, Dominic
(Chief Investigator)
Garner, Richard
(Chief Investigator)
MQRES, MQRES
(Student)
MQRES 3 (International), MQRES 3
(Student)
MQRES 4 (International), MQRES
(Student)
MQRES (International), MQRES (International)
(Student)
Department of Computing
Project
:
Research
Overview
Fingerprint
Research Outputs
(17)
Project Details
Status
Finished
Effective start/end date
1/01/13
→
31/12/16
View all
View less
Research Output
Research Output per year
2015
2018
17
Article
Research Output per year
Research Output per year
Infinitary addition, real numbers, and taut monads
Janelidze, G. &
Street, R.
,
Oct 2018
,
In :
Applied Categorical Structures.
26
,
5
,
p. 1047-1064
18 p.
Research output
:
Contribution to journal
›
Article
Monads
Monoids
Algebra
Generalise
Series
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
19
Citations (Scopus)
Algebraic weak factorisation systems II: categories of weak maps
Bourke, J. &
Garner, R.
,
1 Jan 2016
,
In :
Journal of Pure and Applied Algebra.
220
,
1
,
p. 148-174
27 p.
Research output
:
Contribution to journal
›
Article
Factorization System
Monads
Fibration
Replacement
Faithful
6
Citations (Scopus)