Thomas Cottrell

Dr

  • 2 SOUTH 1.03

20172019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Thomas Cottrell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Operad Mathematics
Monads Mathematics
Interleaving Mathematics
Nerve Mathematics
Recursion Mathematics
Bicategory Mathematics
High-dimensional Mathematics
Internal Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2019

Open Access
Nerve
Bicategory
Functor
Prototype

A study of Penon weak n-categories Part 1: Monad interleaving

Cottrell, T., 1 Jan 2018, In : Cahiers de Topologie et Géométrie Différentielle Catégoriques. LIX, 3, p. 197-259 63 p.

Research output: Contribution to journalArticle

Open Access
Monads
Interleaving
Operad
Contraction
Alternatives

Higher Dimensional Categories: Induction on Extensivity

Cottrell, T., Fujii, S. & Power, J., 1 Dec 2018, In : Electronic Notes in Theoretical Computer Science. 341, p. 73-90 18 p.

Research output: Contribution to journalArticle

Open Access

Higher dimensional categories: recursion on extensivity

Power, A., Cottrell, T. & Fujii, S., 2018, (Accepted/In press).

Research output: Contribution to conferencePaper

Recursion
High-dimensional
Semantics
Computer programming
n-dimensional

A proof of the existence of Batanin's initial operad

Cottrell, T., 17 May 2017, In : Journal of Pure and Applied Algebra.

Research output: Contribution to journalArticle

Operad
Contraction
Functor
Interleaving