G. M. Kelly
E621118
G. M. Kelly is a mathematician known for contributions to category theory, particularly in areas such as enriched categories and coherence, and for influential work often done in collaboration with Peter Freyd.
All labels observed (1)
| Label | Occurrences |
|---|---|
| G. M. Kelly canonical | 1 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
mathematician
ⓘ
person ⓘ |
| activeIn | 20th-century mathematics ⓘ |
| affiliation | School of Mathematics and Statistics, University of Sydney NERFINISHED ⓘ |
| areaOfActivity |
categorical algebra
ⓘ
higher category theory ⓘ |
| authorOf | Basic Concepts of Enriched Category Theory NERFINISHED ⓘ |
| collaboratedWith |
Max Kelly
NERFINISHED
ⓘ
Peter Freyd NERFINISHED ⓘ Ross Street NERFINISHED ⓘ |
| contributedTo |
coherence theorems in category theory
ⓘ
theory of enriched colimits ⓘ theory of enriched limits ⓘ |
| countryOfCitizenship | Australia ⓘ |
| employer | University of Sydney NERFINISHED ⓘ |
| fieldOfWork |
category theory
ⓘ
coherence in category theory ⓘ enriched category theory ⓘ |
| genre |
mathematical exposition
ⓘ
mathematical research ⓘ |
| hasConceptNamedAfter |
Kelly enrichment
NERFINISHED
ⓘ
Kelly’s doctrinal adjunction NERFINISHED ⓘ |
| hasPublication |
A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
NERFINISHED
ⓘ
Basic Concepts of Enriched Category Theory NERFINISHED ⓘ Doctrinal adjunction ⓘ Many-variable functorial calculus I NERFINISHED ⓘ Structures defined by finite limits in the enriched context NERFINISHED ⓘ |
| hasPublicationType |
monographs
ⓘ
research articles ⓘ survey articles ⓘ |
| influenced |
Australian school of category theory
ⓘ
development of enriched category theory ⓘ research in categorical algebra ⓘ |
| knownFor |
clear expository style in category theory
ⓘ
systematic development of enriched categories ⓘ |
| language | English ⓘ |
| notableFor |
contributions to categorical foundations
ⓘ
work on coherence in category theory ⓘ work on enriched categories ⓘ |
| notableStudent | Ross Street NERFINISHED ⓘ |
| occupation | university professor ⓘ |
| researchInterest |
2-categories
ⓘ
adjoint functors ⓘ enriched limits and colimits ⓘ monoidal categories ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.