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

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: 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., 19 Jul 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21

Research output: Contribution to journalArticle

File
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

Enriched and internal categories: an extensive relationship

Power, A., Cottrell, T. & Fujii, S., 7 Dec 2017, In : Tbilisi Mathematical Journal. 10, 3, p. 239-254 16 p.

Research output: Contribution to journalArticle

Open Access
Internal
Bicategory
Relationships
Cartesian
Iterate