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

Personal profile

Research interests

Category theory, primarily in the setting of computer science.

Education/Academic qualification

Mathematics, Doctor of Philosophy, McGill University

Keywords

  • category theory

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

  • 3 Similar Profiles
Monads Mathematics
Semantics Engineering & Materials Science
Term Mathematics
Algebra Engineering & Materials Science
Coalgebra Mathematics
Logic Programming Mathematics
Operational Semantics Mathematics
Lambda Calculus Mathematics

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

Projects 2008 2018

Research Output 2000 2018

An enriched view on the extended finitary monad-Lawvere theory correspondence

Power, A. & Garner, R., 27 Feb 2018, In : Logical Methods in Computer Science. p. 1--23 14 p.

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched Category
Bicategory
Colimit

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

Logic programming: laxness and saturation

Komendantskaya, E. & Power, A., 31 Dec 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21 21 p.

Research output: Contribution to journalArticle

Logic programming
Logic Programming
Saturation
Semantics
Coalgebra

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A., 2017.

Research output: Contribution to conferencePaper

Open Access
File

Thesis

Graphical Foundations for Dialogue Games

Author: Wingfield, C., 31 Dec 2013

Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)

Student thesis: Doctoral ThesisPhD

File