课题基金 / 基金详情

Invertibility of an adjunction between the category of categories and the category of semilattices

Invertibility of an adjunction between the category of categories and the category of semilattices
范畴的范畴与半格范畴之间的附属物的可逆性
批准号：
454414-2014
负责人：
Chen, Ruiyuan
金额：
$1.53万
依托单位：
California Institute of Technology
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Doctoral
财政年份：
2014
资助国家：
加拿大
项目状态：
已结题
起止时间：
2014-01-01 至 2015-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=555261
关键词：
Invertibilityadjunctionbetweencategorycategories

项目摘要

项目成果

Chen, Ruiyuan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
algebra, lattice theory, category theory, variety, adjoint functor, representation theorem, programming languages
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Invertibility of an adjunction between the category of categories and the category of semilattices
  • 批准号：
    454414-2014
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2016
  • 负责人：
    Chen, Ruiyuan
  • 依托单位：
    California Institute of Technology
Invertibility of an adjunction between the category of categories and the category of semilattices
  • 批准号：
    454414-2014
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2015
  • 负责人：
    Chen, Ruiyuan
  • 依托单位：
    California Institute of Technology
Modular Generics in a language with Static and Dynamic Types
  • 批准号：
    450164-2013
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.33万
  • 财政年份：
    2013
  • 负责人：
    Chen, Ruiyuan
  • 依托单位：
    University of British Columbia
Quadratic patterns in positive-density sets of integers
  • 批准号：
    444403-2013
  • 项目类别：
    Postgraduate Scholarships - Master's
  • 资助金额：
    $1.26万
  • 财政年份：
    2013
  • 负责人：
    Chen, Ruiyuan
  • 依托单位：
    California Institute of Technology
海外基金