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

PASTRO Craig  PASTRO Craig

ORCIDConnect your ORCID iD *help
Researcher Number 50532561
Affiliation (based on the past Project Information) *help 2013: 九州大学, 基幹教育院, 准教授
2010 – 2012: 九州大学, 国際教育センター, 准教授
Review Section/Research Field
Principal Investigator
Algebra
Keywords
Principal Investigator
データタイプ / 補数コモナド / スター自律コモナド / ホップコモナド / 淡中の再構成 / *-自律な圏 / skew-モノイダル圏 / ホップ代数 / 補コモナド / モノイダル圏 … More / ホップモナド / Hopf invariants / Concurrent semantics / Star autonomous comonad / Hopf algebra Less
  • Research Projects

    (1 results)
  • Research Products

    (11 results)
  •  Theory and applications of Hopf monadsPrincipal Investigator

    • Principal Investigator
      PASTRO Craig
    • Project Period (FY)
      2010 – 2013
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Algebra
    • Research Institution
      Kyushu University

All 2012 2011 2010

All Journal Article Presentation

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

    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [Presentation] Star autonomous comonads2011

    • Author(s)
      Craig Pastro
    • Organizer
      Categories Seminar
    • Place of Presentation
      Kyoto University(招待講演)
    • Year and Date
      2011-06-02
    • Data Source
      KAKENHI-PROJECT-22740015
  • [Presentation] Star-autonomous comonads2011

    • Author(s)
      Craig Pastro
    • Organizer
      Categories Seminar
    • Place of Presentation
      Kyoto University, Kyoto, Japan
    • Year and Date
      2011-06-02
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015
  • [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
    • Data Source
      KAKENHI-PROJECT-22740015

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi