• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2013 Fiscal Year Final Research Report

Theory and applications of Hopf monads

Research Project

  • PDF
Project/Area Number 22740015
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Algebra
Research InstitutionKyushu University

Principal Investigator

PASTRO Craig  九州大学, 基幹教育院, 准教授 (50532561)

Project Period (FY) 2010-04-01 – 2014-03-31
KeywordsHopf algebra / Star autonomous comonad / Concurrent semantics / Hopf invariants
Research Abstract

I worked on Hopf comonads and star-autonomous comonads and their applications. First I settled the relationship between these two objects. Second, with R. Cockett, we generalized star-autonomous comonads to what we have called complementing comonads and developed the theory of these. Also, we applied this theory to develop a model of concurrent process semantics using for parallel computing. In the final year, but not yet finished, I have been working on extending invariants of Hopf algebras to Hopf monads. These can be used to obtain quantum invariants of links and knots.

  • Research Products

    (9 results)

All 2012 2011 2010 Other

All Journal Article (1 results) Presentation (7 results) Remarks (1 results)

  • [Journal Article] Note on star-autonomous comonads2012

    • Author(s)
      Craig Pastro
    • Journal Title

      Theory and Applications of Categories

      Volume: Vol. 26(Peer-reviewed) Pages: 194-203

  • [Presentation] A complementing comonad approach to process semantics2012

    • Author(s)
      Craig Pastro
    • Organizer
      Peripatetic Seminar
    • Place of Presentation
      University of Calgary, Calgary, Canada
    • Year and Date
      2012-09-20
  • [Presentation] Star-autonomous comonads and Hopf comonads2012

    • Author(s)
      Craig Pastro
    • Organizer
      Peripatetic Seminar
    • Place of Presentation
      University of Calgary, Calgary, Canada
    • Year and Date
      2012-09-19
  • [Presentation] Complementing comonads II2012

    • Author(s)
      Craig Pastro
    • Organizer
      Algebra, Logic and Topology (Seminar)
    • Place of Presentation
      University of Coimbra, Portugal
    • Year and Date
      2012-03-20
  • [Presentation] Complementing comonads2012

    • Author(s)
      Craig Pastro
    • Organizer
      Algebra, Logic and Topology (Seminar)
    • Place of Presentation
      University of Coimbra, Portugal
    • Year and Date
      2012-03-20
  • [Presentation] Complementing comonads2011

    • Author(s)
      Craig Pastro
    • Organizer
      Workshop on Categories, Logic, and Computation
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Year and Date
      2011-07-28
  • [Presentation] Star-autonomous comonads2011

    • Author(s)
      Craig Pastro
    • Organizer
      Categories Seminar
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Year and Date
      2011-06-02
  • [Presentation] Star-autonomous categories2010

    • Author(s)
      Craig Pastro
    • Organizer
      Peripatetic Seminar
    • Place of Presentation
      University of Calgary, Calgary, Canada
    • Year and Date
      2010-08-12
  • [Remarks]

    • URL

      http://artsci.kyushu-u.ac.jp/~craig/

URL: 

Published: 2015-06-25   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi