Buscar
Mostrando ítems 1-5 de 5
The fundamental progroupoid of a general topos
(Elsevier Science, 2008-11)
It is well known that the category of covering projections (that is, locally constant objects) of a locally connected topos is equivalent to the classifying topos of a strict progroupoid (or, equivalently, a localic ...
Explicit computational paths in type theory
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Partial symmetries on topological dynamics and spectral theory
(Universidad de Chile, 2022)
The main focus of this thesis is the study of dynamical systems governed by partially defined transformations. Two distinct cases are studied: continuous groupoid actions on topological spaces and continuous partial group ...
Poincaré’s Polyhedron Theorem For Cocompact Groups In Dimension 4
(Independent University of Moscow, 2014)
Some homotopical aspects of de Rham theory
(Medellín - Ciencias - Doctorado en Ciencias - MatemáticasEscuela de matemáticasUniversidad Nacional de Colombia - Sede Medellín, 2020-07-01)
El estudio de las propiedades topológicas de las variedades suaves desde el punto de vista de formas diferenciales y de las ecuaciones que dichas formas satisfacen es conocido como teoría de de-Rham. Invariantes topológicos ...