Homotopy theory is the study of mathematical contexts where there exists a notion of morphisms and deformations between them. Throughout last decades, categorical and homotopical methods have stopped being a subfield of Topology to become an independent discipline.
Nowadays, these techniques are applied in several problems within algebraic geometry (motivic homotopy theory), computation theory (homotopy type theory), functional analysis or mathematical physics (quantum field theory).
The objective of this session is to gather mathematicians that, even coming from different areas, have in common the use of these methods.
La teoría de homotopía es el estudio de contextos matemáticos en donde hay una noción de morfismos y de deformaciones entre los mismos. Durante las últimas décadas, los métodos categóricos y homotópicos han dejado de ser un subcampo de la Topología para convertirse en una disciplina independiente.
En la actualidad, estas técnicas se aplican en numerosos problemas de geometría algebraica (teoría de homotopía motívica), teoría de la computación (teoría homotópica de tipos), análisis funcional o física matemática (teoría cuántica de campos).
El objetivo de esta sesión es reunir a matemáticos y matemáticas que, aún proveniendo de distintas áreas, tienen en común el uso de estos métodos.
18-XX
(primary)
55PXX; 46MXX; 16D90
(secondary)
2.A (0.20)
2.B (0.20)
2.C (0.20)