Pastro Craig ＰａｓｔｒｏＣｒａｉｇ

… Alternative Names

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

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

Pastro Craig Ｐａｓｔｒｏ Ｃｒａｉｇ

PASTRO Craig PASTRO Craig

Research Projects

Research Products

Theory and applications of Hopf monadsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Note on star-autonomous comonads2012

Author(s)

Journal Title

Data Source

[Presentation] Star-autonomous comonads and Hopf comonads2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A complementing comonad approach to process semantics2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Complementing comonads2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Complementing comonads II2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Complementing comonads2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Complementing comonads2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Star autonomous comonads2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Star-autonomous comonads2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Star-autonomous categories2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Star autonomous comonads2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

Pastro Craig ＰａｓｔｒｏＣｒａｉｇ