Graduate Student Support for Summer School in Topos Theory

拓扑理论暑期学校研究生支持

基本信息

  • 批准号:
    0501035
  • 负责人:
  • 金额:
    $ 0.54万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2005
  • 资助国家:
    美国
  • 起止时间:
    2005-05-15 至 2006-04-30
  • 项目状态:
    已结题

项目摘要

Awodey is requesting funding to send two Ph.D. students in Pure and Applied Logicat Carnegie Mellon University to a week-long summer school in topos theory.The school will be held in Belgium, and is partially sponsored by the Departmentof Mathematics of the University of Louvain-la-Neuve. In additionto the PI, several distinguished researchers are participating as instructors.The primary aim of the meeting is to provide students with an opportunityto acquire advanced training in topos theory. Topics to be covered include:general sheaf theory, classifying toposes, descent theory and groupoid representations,homotopy and cohomology of toposes, algebraic set theory, andrealizability.The students have successfully completed M.S. studies in Carnegie Mellon'sLogic and Computation program and are now doctoral students inCarnegie Mellon's PhD program in Pure and Applied Logic. They arejudged to be promising logicians of outstanding ability, in a field that isunder-represented in U.S. logic.Topos theory occupies a unique position in mathematics, connectinglogic, topology, and algebraic geometry. The notion of a topos originatedin the Grothendieck school of algebraic geometry as a generalized notionof "space", but in logic it also subsumes Boolean-valued models, Cohenforcing, and Kripke semantics, as well as topological and sheaf models. It isalso related to the logical notion of a deductive system of higher-order logicor type theory.The broader impacts of the proposed project include not only promotinggraduate education, but also enhancing infrastructure for research andeducation through international partnerships; and the broad disseminationof results, enhancing scientific and technological understanding.
Awodey正在申请资金,将两名纯逻辑和应用逻辑卡内基梅隆大学的博士生送到Topos Theory为期一周的暑期学校。该学校将在比利时举行,部分资金由卢万大学数学系赞助。除了PI之外,还有几位杰出的研究人员作为讲师参加了会议。会议的主要目的是为学生提供一个获得拓朴理论高级培训的机会。课程包括:一般层理论,分类拓扑学,下降理论和群组表示,拓扑学的同伦和上同调,代数集合论,以及可实现性。学生已成功完成卡内基梅隆大学逻辑和计算程序的硕士学位学习,现为卡内基梅隆大学纯粹逻辑和应用逻辑博士课程的博士生。他们被认为是有前途的杰出的逻辑学家,在一个在美国逻辑中没有得到充分代表的领域。拓扑论在数学、连接逻辑、拓扑学和代数几何中占有独特的地位。拓扑点的概念起源于代数几何的格罗森迪克学派,是“空间”的广义概念,但在逻辑上,它也包括布尔值模型、Cohenforcing和克里普克语义学,以及拓扑学和束模型。拟议项目的更广泛影响不仅包括促进研究生教育,还包括通过国际伙伴关系加强研究和教育的基础设施;以及广泛传播成果,增进对科学技术的理解。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Steven Awodey其他文献

Steven Awodey的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Steven Awodey', 18)}}的其他基金

Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)
会议:第二届同伦类型理论国际会议 (HoTT 2023) 的学生支持
  • 批准号:
    2318492
  • 财政年份:
    2023
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Summer School on Homotopy Type Theory 2019
同伦类型论暑期学校 2019
  • 批准号:
    1912896
  • 财政年份:
    2019
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Semantics of Proofs and Certified Mathematics - Participant Support
证明语义和认证数学 - 参与者支持
  • 批准号:
    1351344
  • 财政年份:
    2013
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
PARTICIPANT SUPPORT FOR ATTENDANTS TO THE CONFERENCE: TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS
与会者对与会者的支持:类型论、同伦论和统一基础
  • 批准号:
    1324746
  • 财政年份:
    2013
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Homotopy and Type Theory
同伦与类型论
  • 批准号:
    1001191
  • 财政年份:
    2010
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Continuing Grant

相似海外基金

Conference: Graduate Student Support to Attend the 2023 Magnetics Summer School in Bari, Italy, June 11-16, 2023
会议:支持研究生参加 2023 年 6 月 11 日至 16 日在意大利巴里举行的 2023 年磁学暑期学校
  • 批准号:
    2317267
  • 财政年份:
    2023
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Collaborative Research: Scalable Storytelling Interventions to Support Graduate Student Success in STEM
合作研究:可扩展的讲故事干预措施支持研究生在 STEM 领域取得成功
  • 批准号:
    2325042
  • 财政年份:
    2023
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Collaborative Research: Scalable Storytelling Interventions to Support Graduate Student Success in STEM
合作研究:可扩展的讲故事干预措施支持研究生在 STEM 领域取得成功
  • 批准号:
    2325041
  • 财政年份:
    2023
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
RAPID: Graduate student experiences of support and stress during the COVID-19 pandemic
RAPID:研究生在 COVID-19 大流行期间的支持和压力经历
  • 批准号:
    2030313
  • 财政年份:
    2020
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Conference Proposal for NSF support of the Fall 2020 ACS Graduate Student Symposium entitled Pushing the Boundaries: Women Scientists Catalyzing Change; AUG 2020; San Francisco, CA
NSF 支持 2020 年秋季 ACS 研究生研讨会的会议提案,题为“突破界限:女性科学家催化变革”;
  • 批准号:
    2013322
  • 财政年份:
    2020
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
Diversity Supplement Support for a Graduate Student Training in the Studies of HDAC11
为 HDAC11 研究研究生培训提供多样性补充支持
  • 批准号:
    10380445
  • 财政年份:
    2020
  • 资助金额:
    $ 0.54万
  • 项目类别:
2019-2021 Graduate Student Support for the Summer Biomechanics, Bioengineering and Biotransport (SB3C) Conference
2019-2021 夏季生物力学、生物工程和生物运输(SB3C)会议研究生支持
  • 批准号:
    10197128
  • 财政年份:
    2019
  • 资助金额:
    $ 0.54万
  • 项目类别:
Comparative Studies on Graduate Student Support Using Mindfulness: Cases from UK, USA, China and Singapore
利用正念支持研究生的比较研究:英国、美国、中国和新加坡的案例
  • 批准号:
    19K14270
  • 财政年份:
    2019
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Graduate student support for accelerator physics projects on ARIEL
研究生对 ARIEL 加速器物理项目的支持
  • 批准号:
    SAPPJ-2017-00037
  • 财政年份:
    2019
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Subatomic Physics Envelope - Project
Graduate Student Travel Support for 2019 International Conference on Microwaves for Intelligent Mobility (ICMIM)to be held in Detroit, Michigan, April 15-16, 2019.
2019 年智能移动微波国际会议 (ICMIM) 研究生旅行支持将于 2019 年 4 月 15 日至 16 日在密歇根州底特律举行。
  • 批准号:
    1912499
  • 财政年份:
    2019
  • 资助金额:
    $ 0.54万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了