


Seminars 
<Historic>
<Subscription>



<Theme details> 
Description is not defined.

Functorial semantics and descent
20181218

Speaker: Fernando Lucatelli Nunes (CMUC, Univ. Coimbra)

In [1], given a 2category 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énabouRoubaud Theorem [2]. It also leads in...



Compactly generated (T,V)spaces
20181218

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 wellknown to have nice properties: it is...



Geometry of mechanical control systems with applications
20190123

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). Nonlinear...












