Path:  Home   >  Seminars
<Historic> <Subscription>
<Theme details>
Functorial semantics and descent
Speaker: Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)
In [1], given a 2-category A satisfying suitable hypothesis, we give the semantic factorization via descent. This specializes to a new connection between monadicity and descent theory, which can be seen as a counterpart account to the celebrated Bénabou-Roubaud Theorem [2]. It also leads in...
Compactly generated (T,V)-spaces
Speaker: Willian Ribeiro (PhD Student, CMUC)
First studied by Hurewicz, compactly generated spaces arise as a convenient category for homotopy theory and algebraic topology [1]. The full subcategory of Top (the category of topological spaces and continuous functions) formed by the latter spaces is well-known to have nice properties: it is...
Geometry of mechanical control systems with applications
Speaker: Sandra Isabel Ventura Ricardo (UTAD, Vila Real)
In this talk, a geometric setting for studying mechanical control systems is presented. A special class is distinguished: the class of geodesically accessible mechanical systems, for which the uniqueness of the mechanical structure is guaranteed (up to an extended point transformation). Non-linear...
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support