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

Theory and applications of Hopf monads

Research Project

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
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2010: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
KeywordsHopf algebra / Star autonomous comonad / Concurrent semantics / Hopf invariants / ホップモナド / モノイダル圏 / 補コモナド / ホップ代数 / skew-モノイダル圏 / *-自律な圏 / 淡中の再構成 / ホップコモナド / スター自律コモナド / 補数コモナド / データタイプ
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.

Report

(5 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • Research Products

    (14 results)

All 2012 2011 2010 Other

All Journal Article (1 results) Presentation (10 results) Remarks (3 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

    • Related Report
      2013 Final Research Report 2011 Annual Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [Presentation] Complementing comonads2011

    • Author(s)
      Craig Pastro
    • Organizer
      Workshop on Categories, Logic, and Computation
    • Place of Presentation
      Kyoto University(招待講演)
    • Year and Date
      2011-07-28
    • Related Report
      2011 Annual Research Report
  • [Presentation] Star-autonomous comonads2011

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

    • Author(s)
      Craig Pastro
    • Organizer
      Categories Seminar
    • Place of Presentation
      Kyoto University(招待講演)
    • Year and Date
      2011-06-02
    • Related Report
      2011 Annual Research Report
  • [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
    • Related Report
      2013 Final Research Report
  • [Presentation] Star autonomous comonads2010

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

    • URL

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

    • Related Report
      2013 Final Research Report
  • [Remarks] ホームページ

    • URL

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

    • Related Report
      2013 Annual Research Report
  • [Remarks] ホームページ

    • URL

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

    • Related Report
      2012 Annual Research Report

URL: 

Published: 2010-08-23   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi