Thomas Cottrell

Thomas Cottrell is a Lecturer in the Department of Mathematical Sciences at the University of Bath. He holds an academic position in the field of Mathematics and Computer Science, focusing on advanced category theory research. His work has been published in reputable journals such as Mathematical Structures in Computer Science and Cahiers de Topologie et Géométrie Différentielle Catégoriques. He can be reached at T.P.Cottrell@bath.ac.uk, and his ORCID is linked here: 0009-0000-7435-7713.

Dr. Cottrell's research interests primarily revolve around category theory, with a focus on higher-dimensional categories and their applications in both theoretical and computational contexts. His work explores concepts such as weak ω-categories, Penon weak n-categories, and multisimplicial nerve constructions. He also investigates foundational aspects of category theory, including functoriality, natural numbers, and classical definitions, alongside algebraic structures and their interplay with abstract algebra and mathematical logic. His studies often delve into the theoretical underpinnings of these areas, contributing to the development of rigorous frameworks for understanding complex categorical systems.

His recent publications (2018–2022) consistently address topics in category theory, with a particular emphasis on advancing foundational concepts through interdisciplinary approaches. The 2022 article extends these explorations into ω-categories within computer science, while earlier works establish methodologies for Penon constructions and recursion on extensivity. These contributions highlight a trajectory of deepening theoretical inquiry and methodological innovation.

• No scientific awards or honors are explicitly listed in the provided text.

He currently has no listed advisees or students. There is no information available regarding grants or funding he has secured for his research. His primary affiliation is with the Department of Mathematical Sciences, and specific lab or team affiliations are not detailed in the text.