Categorical methods in topology, algebra and computer science
Categorical methods in topology, algebra and computer science
批准号:
8844-2011
负责人:
Tholen, Walter
金额:
$0.95万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2012
资助国家:
加拿大
项目状态:
已结题
起止时间:
2012-01-01 至 2013-12-31
中文摘要
范畴理论旨在发现各种数学理论的共同方面,并建立适用于数学和自然科学中截然不同的领域的定理。它的多功能性可能会导致在传统集合论基础可能已经失败的领域提供数学模型。拟议的项目位于代数和拓扑学之间的界面上,并扩展到分析、代数几何和理论计算机科学的主题。我们希望
英文摘要
Category theory aims at detecting common aspects of various mathematical theories, and at establishing theorems that are therefore applicable to quite distinct areas of the mathematical and natural sciences. Its versatility may lead to the provision of mathematical models in areas where traditional set-theoretic foundations may have failed. The proposed project lies in the interface between algebra and topology and extends to topics in analysis, algebraic geometry, and theoretical computer science. We wish to
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2022
-
负责人:Tholen, Walter
-
依托单位:
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2021
-
负责人:Tholen, Walter
-
依托单位:
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2020
-
负责人:Tholen, Walter
-
依托单位:
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2019
-
负责人:Tholen, Walter
-
依托单位:
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2018
-
负责人:Tholen, Walter
-
依托单位:
Categorical and quantitive topology and its applications
-
批准号:RGPIN-2017-05715
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.17万
-
财政年份:2017
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.95万
-
财政年份:2016
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.95万
-
财政年份:2014
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.95万
-
财政年份:2013
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.95万
-
财政年份:2011
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2010
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2009
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2008
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2007
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2006
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2005
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2004
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2003
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2002
-
负责人:Tholen, Walter
-
依托单位:
Categorical methods in topology, algebra and computer science
-
批准号:8844-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.26万
-
财政年份:2001
-
负责人:Tholen, Walter
-
依托单位:
国内基金
海外基金
复杂图像处理中的自由非连续问题及其水平集方法研究
-
批准号:60872130
-
项目类别:面上项目
-
资助金额:28.0万元
-
批准年份:2008
-
负责人:刘国才
-
依托单位:
Computational Methods for Analyzing Toponome Data
-
批准号:60601030
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2006
-
负责人:Axel Mosig
-
依托单位: