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.

- 5 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

### 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. 1 Jan 2018 (Accepted/In press) 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: 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

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

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

Open Access

File

### Enriched and internal categories: an extensive relationship

Power, A., Cottrell, T. & Fujii, S. 2017 In : Tbilisi Mathematical Journal. 10, 3, p. 239-254 16 p.Research output: Contribution to journal › Article

Open Access

Internal

Bicategory

Relationships

Cartesian

Iterate

### Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Komendantskaya, E. & Power, J. 4 Jun 2016*Proceedings of Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers.*Hasuo, I. (ed.). Springer, p. 94-113 (Lecture Notes in Computer Science)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Theorem Proving

Logic Programming

Logic Programs

Coalgebra

Propositional Logic