Obiettivo
Higher-dimensional categories have developed rapidly in the last few years but the theory is still rather disjointed. To date, little work has been completed to compare and link up the different parts of the theory. The applicant's PhD thesis contains the first full comparison theorems in the subject. Such a higher-dimensional language and a body of relevant results is already found in a rudimentary way throughout algebraic topology, and a need for such has arisen, almost simultaneously, in areas of mathematical physics, algebraic geometry, computer science, and logic. In all these fields, higher-dimensional structures exist, and we need a coherent way of studying them.
The aim of this project is to construct Quillen equivalences between different theories to enable cross-fertilization of them. Different theories have been proposed with different emphases, and developed and understood to differing degrees. By linking the theories, we will be able to use the developments in one theory to help us in another; this cross-fertilization will enable a more coherent overall framework for higher-dimensional categories. Model categories are the organisational principle of a 'good' homotopy theory; one often considers that to define a good homotopy theory is just to construct a model category. Then Quillen equivalence is a special kind of adjunction between model categories.
This notion is subtler than ordinary equivalence of categories and was coined as the right notion of equivalence up to homotopy for model categories. This sophisticated and well-developed theory seems to be the mandatory tool for formalizing the comparisons proposed in this project. The proposal concentrates on comparing the Opetopic and Segalic theories, drawing on the expertise of the applicant and the host institution respectively. The applicant's move to the Laboratoire Dieudonne will thus enable a cross-fertilization of competencies as well as of higher-categorical theories.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali matematica matematica applicata fisica matematica
- scienze naturali informatica e scienze dell'informazione
- scienze naturali matematica matematica pura topologia topologia algebrica
- scienze naturali matematica matematica pura geometria
- scienze naturali matematica matematica pura algebra geometria algebrica
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
FP6-2002-MOBILITY-5
Vedi altri progetti per questo bando
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
NICE
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.