Projects per year

## 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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 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

- 10 Finished

### Higher Category Theoretic Structure of Programming Semantics

11/11/16 → 11/11/18

Project: Research council

### Commutativity, Pseudo-Commutativity and the Tensor Product of Theories

1/07/16 → 1/08/16

Project: Research council

### Games and Differential Nets for Concurrent Systems

Laird, J., Guglielmi, A., McCusker, G. & Power, A.

1/08/15 → 30/11/17

Project: Research council

## 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 journal › Article

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 journal › Article

Open Access

### Higher dimensional categories: recursion on extensivity

Power, A., Cottrell, T. & Fujii, S., 2018, (Accepted/In press).Research output: Contribution to conference › Paper

Recursion

High-dimensional

Semantics

Computer programming

n-dimensional

### Logic programming: laxness and saturation

Komendantskaya, E. & Power, A., 1 Dec 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21Research output: Contribution to journal › Article

File

Logic programming

Logic Programming

Saturation

Semantics

Coalgebra

### Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A., 2017.Research output: Contribution to conference › Paper

Open Access

File

## Thesis

## Graphical Foundations for Dialogue Games

Author: Wingfield, C., 31 Dec 2013Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)

Student thesis: Doctoral Thesis › PhD

File