Thomas Cottrell

Dr

  • 2 SOUTH 1.03

20172019

Research output per year

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.

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

Research Output

Open Access
  • 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
  • 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

  • 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