This page is intended to record doctoral theses whose focus is primarily category theoretic, particularly those from earlier years that are harder to find online.
Note: the list is ordered first by year, then alphabetically by last name.
Title | Author | Year | URL | Summary |
---|---|---|---|---|
Des Catégories Abéliennes | Pierre Gabriel | 1960 | numdam | |
Functor theory | Peter Freyd | 1960 | ||
Functorial Semantics of Algebraic Theories | William Lawvere | 1963 | TAC reprint | on algebraic theories |
The Functorial Foundations of Measure Theory | Fred Linton | 1963 | scan | |
Categories of Set Valued Functors | Marta Bunge | 1966 | on categories of presheaves | |
Triples, algebras and cohomology | Jon Beck | 1967 | TAC reprint | |
A triple miscellany: some aspects of the theory of algebras over a triple | Ernest Manes | 1967 | proquest | |
Limit monads in categories | Anders Kock | 1967 | proquest | on lax idempotent 2-monads |
Homotopy Classification of Filtered Complexes | Ross Street | 1968 | Scan | |
Absoluteness properties in category theory | Robert Paré | 1969 | on absolute colimits | |
Construction of Biclosed Categories | Brian Day | 1970 | Scan | |
A categorical approach to universal algebra | Bob Walters | 1970 | ANU repository | on universal algebra |
Self-Dual Structure-Semantics and Algebraic Categories | Michel Thiébaud | 1971 | ||
Tensor and cotensor products of bifunctors | George D. Reynolds | 1973 | ||
Some Aspects of Internal Category Theory in an Elementary Topos | Peter Johnstone | 1974 | ||
Coherence for a closed functor | Geoffrey Lewis | 1974 | UNSW repository | |
Théorie formelle des bicatégories | Syméon Bozapalides | 1976 | Scan | on 2-dimensional coends, enriched bicategories, etc. |
Universal coalgebras | Thomas Fox | 1976 | McGill repository | |
Indical methods for relative categories | Richard Wood | 1976 | Dalhousie repository | |
Some existence theorems in the theory of doctrines | Robert Blackwell | 1976 | UNSW repository | |
Abstract Families of Algebras | Robert Rosebrugh | 1977 | ||
Cartesianess | Susan Niefield | 1978 | proquest | on exponentiable objects (there called “cartesian objects”) |
The Theory of Triposes | Andrew Pitts | 1981 | Scan | on triposes |
Limits in 2-categories of locally presentable categories | Greg Bird | 1984 | Scan | |
Operational Categories | Colin Barry Jay | 1984 | ||
Pasting diagrams in n-categories with applications to coherence theorems and categories of paths | Michael Johnson | 1988 | postscript | |
Dialectica Categories | Valeria de Paiva | 1991 | Computer Lab Technical Report | |
Enriched categories, internal categories and change of base | Dominic Verity | 1992 | TAC reprint | |
Cauchy completion in enriched categories | Scott Russell Johnson | 1993 | ANU repository | |
Cobordism Categories | Sean Carmody | 1995 | ||
The algebra of distributive and extensive categories | Stephen Lack | 1995 | ||
Groupoid Representations for Sheaves on Orbifolds | Dorette Pronk | 1995 | ||
Internal categories and quantum groups | Marcelo Aguiar | 1997 | ||
Higher-Dimensional Category Theory: Opetopic Foundations | Eugenia Cheng | 2002 | ||
Polycategories | Richard Garner | 2006 | on polycategories via Kleisli bicategories and mixed distributive laws | |
An algebraic theory of tricategories | Nick Gurski | 2007 | ||
Bigroupoid 2-torsors | Igor Baković | 2008 | doi | on principal 2-bundles |
Double Categories and Base Change in Homotopy Theory | Michael Shulman | 2009 | ||
Codescent objects in 2-dimensional universal algebra | John Bourke | 2010 | on codescent objects and 2-dimensional generalisations of internal categories | |
Homology operations in the spectral sequence of a cosimplicial space | Philip Hackney | 2010 | ||
Fundamental bigroupoids and 2-covering spaces | David Roberts | 2010 | Adelaide repository | |
Algebraic Model Structures | Emily Riehl | 2011 | ||
Grothendieck categories of enriched functors | Hassan Al Hwaeer | 2014 | core | |
Generalization of Algebraic Operations via Enrichment | Christina Vasilakopoulou | 2014 | arXiv | |
Three studies in higher category theory: fibrations, skew monoidal structures and excision of extremals | Mitchell Buckley | 2015 | Macquarie repository | |
Synthetic Lie theory | Matthew Burke | 2015 | Macquarie repository | |
Sketches in higher category theory | Remy Vincent Tuyeras | 2015 | Macquarie repository | |
A higher categorical approach to Giraud’s non-abelian cohomology | Alexander Campbell | 2016 | Macquarie repository | |
The Algebra of Open and Interconnected Systems | Brendan Fong | 2016 | arXiv | |
Oplax actions and enriched icons with applications to coalgebroids and quantum categories | Ramón Abud Alcalá | 2017 | Macquarie repository | |
Tangent bundles, monoidal theories, and Weil algebras | Poon Leung | 2017 | Macquarie repository | |
The Way of the Dagger | Martti Karvonen | 2018 | arXiv | |
Morphisms of 2-dimensional structures with applications | Branko Nikolić | 2018 | Macquarie repository | |
Compact symmetric multicategories and the problem of loops | Sophie Raynor | 2018 | Aberdeen repository | |
Homotopy theory of Grothendieck ∞-groupoids and ∞-categories | Edoardo Lanari | 2019 | Macquarie repository | |
Restriction presheaves and restriction colimits | Daniel Lin | 2019 | Macquarie repository | |
Structures in two dimensional category theory and applications to polynomial functors | Charles Walker | 2019 | Macquarie repository | |
The Scott adjunction | Ivan Di Liberti | 2020 | arXiv | |
The Gray tensor product for 2-quasi-categories | Yuki Maehara | 2020 | Macquarie repository | |
Toposes of Monoid Actions | Morgan Rogers? | 2021 | arXiv | |
Monadic and Higher-Order Structure | Nathanael Arkor | 2022 | Cambridge repository | |
Pseudomonads, Relative Monads and Strongly Finitary Notions of Multicategory | Gabriele Lobbia | 2022 | Leeds repository | |
Topics in the theory of enriched accessible categories | Giacomo Tendas | 2022 | Macquarie repository |
Last revised on May 11, 2023 at 21:15:15. See the history of this page for a list of all contributions to it.