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
Applicable categorical structures
Street, Ross
(Primary Chief Investigator)
Johnson, Michael
(Chief Investigator)
Lack, Stephen
(Chief Investigator)
Verity, Dominic
(Chief Investigator)
Lan, Ruolan,
(Other)
Deputy Vice-Chancellor (Research) - Office
Department of Computing
Project
:
Research
Overview
Fingerprint
Research Outputs
(4)
Project Details
Status
Finished
Effective start/end date
1/01/10
→
30/06/14
View all
View less
Research Output
Research Output per year
2015
2018
4
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
Commutativity
Garner, R.
& López Franco, I.,
May 2016
,
In :
Journal of Pure and Applied Algebra.
220
,
5
,
p. 1707-1751
45 p.
Research output
:
Contribution to journal
›
Article
Commutativity
Enriched Category
Tensor Product
Operad
Category Theory
3
Citations (Scopus)
Homotopy coherent adjunctions and the formal theory of monads
Riehl, E. &
Verity, D.
,
2 Jan 2016
,
In :
Advances in Mathematics.
286
,
p. 802-888
87 p.
Research output
:
Contribution to journal
›
Article
Adjunction
Monads
Homotopy
Categorical
Functor
15
Citations (Scopus)