Identificação
Identificação pessoal
- Nome completo
- Diana Rodelo
Nomes de citação
- Rodelo, Diana
Identificadores de autor
- Ciência ID
- 6C16-FCF9-64A0
- ORCID iD
- 0000-0002-4816-3234
Moradas
- Departamento de Matemática, Universidade do Algarve, 8005-139, Gambelas, Faro, Portugal (Profissional)
Websites
- https://diana-rodelo.webnode.pt/ (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Inglês | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
Francês | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A2) | Utilizador elementar (A1) |
Formação
Grau | Classificação | |
---|---|---|
2022/02/23 - 2022/02/24
Concluído
|
n/a (Título de Agregado)
Especialização em Pure Mathematics
Universidade de Coimbra, Portugal
|
Aprovada por unanimidade |
2005/11/18
Concluído
|
PhD In Mathematics (Doutoramento)
Especialização em Pure Mathematics
Universidade de Coimbra, Portugal
"Direcções para a Sucessão Longa de Co-homologia" (TESE/DISSERTAÇÃO)
|
Aprovada com distinção e louvor |
1997/06/08 - 2000/01/14
Concluído
|
Masters in Mathematics (Mestrado)
Especialização em Pure Mathematics
Universidade de Coimbra, Portugal
"Modularidade e Noções Afins - Interpretações Categoriais" (TESE/DISSERTAÇÃO)
|
Muito Bom |
1994/10/10 - 1997/09/05
Concluído
|
Degree in Mathematics (Licenciatura)
Especialização em Pure Mathematics
Universidade de Coimbra, Portugal
|
17/20 |
1990/01/08 - 1994/09/15
Concluído
|
Degree in Computer Engeneering (Licenciatura)
Especialização em Networks
Universidade de Coimbra, Portugal
|
15/20 |
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2005/11/19 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
2000/01/15 - 2005/11/18 | Assistente (Docente Universitário) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1998/02/04 - 2000/01/14 | Assistente Estagiário (Docente Universitário) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1997/09/15 - 1998/02/03 | Monitor (Docente Universitário) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1997/03/04 - 1997/09/15 | Monitor (Docente Universitário) | Universidade de Coimbra, Portugal |
Universidade de Coimbra, Portugal |
Outros
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
1992/09/01 - 1994/08/01 | Secundary School Teacher | Instituto de Promoção Social da Bairrada, Portugal |
Instituto de Promoção Social da Bairrada, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2012/03/01 - 2015/02/28 | Métodos Categoriais em Álgebra Não Abeliana
PTDC/MAT/120222/2010
Investigador
Universidade de Coimbra Centro de Matemática, Portugal
|
Concluído
|
Produções
Publicações
Artigo em revista |
|
Artigo em revista (magazine) |
|
Pré-impressão |
|
Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
---|---|---|
2024/10/22 | Enriched aspects of the Mal'tsev property | CMUC Seminar
Universidade de Coimbra (Coimbra, Portugal)
|
2024/07/23 | The matrix trick - how to translate varietal proofs into categorical ones | CIDMA-UAlg Meeting
Universidade de Aveiro (Aveiro, Portugal)
|
2024/07/10 | The matrix trick - how to translate varietal proofs into categorical ones | Encontro Nacional da Sociedade Portuguesa de Matemática 2024 (ENSPM2024)
Universidade do Minho (Braga, Portugal)
|
2023/07/25 | An object-wise approach to Categorical Algebra | 3rd Women in Mathematics Meeting
Universidade de Coimbra (Coimbra, Portugal)
|
2023/07/03 | Jónsson categories | Category Theory 2023 (CT2023)
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2022/10/18 | Jónsson categories | CMUC Seminar
Universidade de Coimbra (Coimbra, Portugal)
|
2022/08/19 | Intrinsic Schreier special objects | Encontro Conjunto Brasil-Portugal em Matemática
Universdade Federal da Bahia (Salvador da Bahia, Brasil)
|
2022/07/19 | Cohomology with trivial coefficients and central extensions in higher dimensions | Encontro Nacional da Sociedade Portuguesa de Matemática 2022 (ENSPM2022)
Instituto Politécnico de Tomar (Tomar, Portugal)
|
2022/06/20 | Remarks on enriched protomodularity | Topology, Algebra, and Categories in Logic 2022 (TACL2022)
Universidade de Coimbra (Coimbra, Portugal)
|
2020/01/31 | On difunctionality of class relations | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2019/11/11 | Intrinsic Schreier split extensions | Categorical Structures in Algebra, Topology and Logic
Stellenbosch University (Stellenbosch, África do Sul)
|
2019/07/13 | Intrinsic Schreier split extensions | Category Theory 2019 (CT2019)
University of Edinburgh (Edinburgh, Reino Unido)
|
2018/11/12 | Diagram lemmas for n-permutable categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2018/07/09 | Observations on the Shifting Lemma | Category Theory 2018 (CT2018)
Universidade de Coimbra, CMUC (Ponta Delgada, Portugal)
|
2018/05/28 | Observations on the Shifting Lemma | 4th Workshop on Categorical Algebra: Recent developments and future perspectives (CatAlg2018)
Univerisità degli Estudi di Milano (Gargnano, Itália)
|
2017/07/20 | Stability properties for n-permutable categories | Category Theory 2017 (CT2017)
University of British Columbia (Vancouver, Canadá)
|
2017/06/01 | Connectors and groupoids in Goursat categories | 5th Workshop on categorical algebra in non-abelian algebra
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2017/01/27 | Higher central extensions and cohomology | 3rd CMUC Workshop
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2016/10/11 | Beck-Chevalley condition for Goursat categories | Séminaire Itinérant des Catégories (SIC)
Université de Picardie Jules Verne (Amiens, França)
|
2016/05/31 | An object-wise approach in categorical algebra | 4th Workshop on categorical methods in non-abelian algebra
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2016/03/22 | The Beck-Chevalley condition and Goursat categories | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2016/01/18 | The Beck-Chevalley condition and Goursat categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2015/06/17 | A tour through n-permutability | Category Theory 2015 (CT2015)
Universidade de Aveiro (Aveiro, Portugal)
|
2015/04/28 | On the characterisation of 3-permutable varieties (poster) | 3rd Workshop on Categorical Algebra: Recent developments and future perspectives (CatAlg2015)
Università degli Studi di Milano (Gargnano, Itália)
|
2015/01/29 | Connections between algebraic categories | 3rd Workshop on categorical methods in non-abelian algebra
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2015/01/29 | Higher central extensions and cohomology | 3rd Workshop on categorical methods in non-abelian algebra
Université catholique de Louvain (Louvai-la-Neuve, Bélgica)
|
2014/10/12 | A criterion for reflectiveness of normal extensions with an application to monoids | 6th Peripatetic Seminar on Sheaves and Logic (PSSL96) (in honour of the 60th birthday of Pino Rosolini)
Università di Palermo (Palermo, Itália)
|
2014/09/09 | Mal'tsev related properties for normal relations | X Portuguese Category Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2014/07/01 | Mal'tsev related properties for normal relations (poster) | Category Theory 2014 (CT2014)
University of Cambridge (Cambridge, Reino Unido)
|
2014/01/26 | A remark on pullbacks in Gumm categories | Workshop on Categorical Methods in Algebra and Topology (in honour of the 70th birthday of Manuela Sobral)
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2013/10/15 | Remarks on reflexive multiplicative graphs in Gumm categories | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2013/09/30 | Remarks on reflexive multiplicative graphs in Gumm categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2013/07/10 | Remarks on 2-star-permutability in regular multi-pointed categories | Category Theory 2013 (CT2013)
Macquarie University (Sydney, Austrália)
|
2013/07/01 | 2-star-permutability, a generalisation of subtractivity and the Mal'tsev property | IX Portuguese Category Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2013/05/24 | A homological lemma for 2-star-permutable categories | Séminaire Itinérant des Catégories (SIC)
Université Catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2013/02/08 | On n-permutability of congruences in categories | 1st Workshop on Categorical Methods in Non-Abelian Algebra,
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2012/12/03 | Varietal techniques for n-permutable categories: an application on internal categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2012/11/19 | Internal categorical structures in n-permutable categories | Category Theory Seminar
Stellenbosch University (Stellenbosch, África do Sul)
|
2012/07/09 | The cuboid lemma and Mal'tsev categories | Workshop on Category Theory (in honour of the 60th birthday of George Janelidze)
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2012/05/19 | Techniques variétales pour les catégories de Goursat | Séminaire Itinérant des Catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2012/02/28 | Mal'tsev categories and a generalised 3x3 Lemma | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2012/01/16 | Remarks on the projective covers of algebraic categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2011/10/25 | Remarks on the projective covers of algebraic categories | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2011/09/28 | On the 3x3 Lemma | 2nd Workshop on Categorical Algebra: Recent developments and future perspectives (CatAlg2011)
Univerisità degli Estudi di Milano, (Gargnano, Itália)
|
2011/07/19 | Higher central extensions and cohomology | Category Theory 2011 (CT2011)
University of British Columbia (Vancouver, Canadá)
|
2011/01/24 | Internal structures in n-permutable varieties | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2010/09/14 | Internal categories in n-permutable varieties | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2010/06/20 | Goursat categories and the 3x3 Lemma | Category Theory 2010 (CT2010)
Università degli Studi di Genova (Génova, Itália)
|
2010/06/01 | Goursat completions | VII Portuguese Category Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2010/05/25 | Universal I-central extensions in the Mal'cev context | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Bélgica)
|
2010/04/25 | Universal I-central extensions · | 90th Peripatetic Seminar on Sheaves and Logic (PSSL90)
Institut für Theoretische Informatik TU (Braunschweig,, Alemanha)
|
2009/06/30 | On the product-preservation of the abelianisation functor | Category Theory 2009 (CT2009)
University of Cape Town (Cape Town, África do Sul)
|
2008/10/11 | The direction approach to cohomology | Categories in Algebra, Geometry and Logic (in honour of the 60th birthdays of Francis Borceux and Dominique Bourn)
Vrije Universiteit Brussel (Bruxelas, Bélgica)
|
2008/02/27 | A universal construction in Goursat categories | Category Theory Seminar
Université du Littoral (Calais, França)
|
2008/02/12 | A universal construction in Goursat categories | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2006/12/11 | How to avoid crossed modules in group cohomology · | Portuguese Category Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2006/09/13 | From abelian to non-abelian: localization and cohomology | 1st CMUC Workshop
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2006/06/28 | Cohomology without projectives | Category Theory 2006 (CT2006)
(Nova Scotia, Canadá)
|
2005/05/13 | Sommes de Baer dans les catégories de Moore | Séminaire Itinérant des Catégories (SIC)
Université du Littoral (Calais, França)
|
2005/04/15 | Baer sums in Moore categories, levels 1 and 2 | Workshop on Categorical Methods in Algebra, Topology and Logic
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2004/09/10 | Somas de Baer em categorias de Moore, níveis 1 e 2 | Seminário dos alunos de doutoramento
Universidade do Algarve (Faro, Portugal)
|
2004/07/19 | Baer sums in Moore categories, levels 1 and 2 | Category Theory 2004 (CT2004)
University of British Columbia (Vancouver, Canadá)
|
2004/01/19 | Moore categories (with Baer sums) | Category Theory Seminar
Université du Littoral (Calais, França)
|
2003/10/21 | Categorias de Moore | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2003/09/10 | Moore categories | European Category Theory Meeting
Université catholique de Louvain (Haute-Bodeux, Bélgica)
|
2003/02/24 | Baer sums in Moore categories | CMUC Seminar
Universidade de Coimbra, CMUC (Coimbra, Portugal)
|
2003/01/24 | Somas de Baer | Seminário dos alunos de doutoramento
Universidade do Algarve (Faro, Portugal)
|
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2024/10/01 - Atual | Approximate (co-)operations in Categorical Algebra
Coorientador
|
Mathematics (Doutoramento) |
2022/10/01 - 2023/08/31 | Enriched Aspects of Categorical Algebra
Coorientador
|
Mathematics (Doutoramento)
Universidade de Coimbra, Portugal
|
2016/10/01 - 2020/08/21 | Selected topics in Goursat categories
Coorientador
|
Mathematics (Doutoramento)
Université catholique de Louvain Institut de recherche en mathématique et physique, Bélgica
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2023/09/01 - 2024/06/29 | Member of the Organizing Committee of the International Category Theory Conference 2024 (CT2024), 23-29 June 2024, Santiago
de Compostela, Spain (2024/06/23 - 2024/06/29)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Santiago de Compostela, Espanha |
2017/09/01 - 2018/07/14 | Member of the Organizing Committee of the International Category Theory Conference 2018 (CT2018), 8-14 July 2018, Ponta Delgada,
S. Miguel, Açores, Portugal (2018/07/08 - 2018/07/14)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Coimbra Centro de Matemática, Portugal |
2006/09/01 - 2007/06/23 | Member of the Organizing Committee of the International Category Theory Conference 2007 (CT2007), 17-23 July 2007, Carvoeiro,
Portugal (2007/06/17 - 2007/06/23)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Coimbra Centro de Matemática, Portugal |
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2025/02/03 | Categorical-Algebraic Conditions in Semi-Abelian Categories
Vogal
|
Corentin Vienne (Doutoramento)
Université catholique de Louvain, Bélgica
|
2024/01/08 | Some Aspects of Descent and Applications | Rui Prezado (Doutoramento)
Universidade de Coimbra, Portugal
|
2023/09 | A categorical-algebraic exploration of models for many-valued logic | Andrea Cappelletti (Doutoramento)
Universita degli Studi di Milano Dipartimento di Matematica Federigo Enriques, Itália
|
2023/02/09 | On extensivity of morphisms in general categories
Arguente
|
Emma Theart (Mestrado)
Stellenbosch University, África do Sul
|
2022/04/12 | On Lax Factorisation Systems | Leonard Larizza (Doutoramento)
Universidade de Coimbra, Portugal
|
2021/07/16 | Aspects of Regular and Exact Completions
Arguente
|
Vasileios Aravantinos-Sotiropoulos (Doutoramento)
Université catholique de Louvain Institut de recherche en mathématique et physique, Bélgica
|
2020/08/21 | Selected Topics in Goursat Categories
Orientador
|
Idriss Tchoffo Nguefeu (Doutoramento)
Université catholique de Louvain Institut de recherche en mathématique et physique, Bélgica
|
2019/12/05 | An intrinsic approach to the non-abelian tensor product | Davide di Micco (Doutoramento)
Universita degli Studi di Milano Dipartimento di Matematica Federigo Enriques, Itália
|
2017/12/18 | Categorical-algebraic methods in non-commutative and non-associative algebra | Xabier García Martínez (Doutoramento)
Universidade de Santiago de Compostela, Espanha
|
2017/11/16 | Towards Projective Set Theory | P J Van Zyl (Mestrado)
Stellenbosch University, África do Sul
|
2017/08/25 | Quadratic equivalences and the Baker-Campbell-Hausdorff formula for 2-step nilpotent varieties | Thibault Defourneau (Doutoramento)
Université Polytechnique Hauts-de-France, França
|
2016/11/23 | Embedding Theorems in Non-Abelian Categorical Algebra
Arguente
|
Pierre-Alain Jacqmin (Doutoramento)
Université catholique de Louvain Institut de recherche en mathématique et physique, Bélgica
|
2015/09/01 | Internal monoid actions in a cartesian closed category and higher dimensional group automorphisms | Pako Ramasu (Doutoramento)
University of Cape Town, África do Sul
|
2011/11/18 | Especialização em Matemática, Centros do Triângulo: uma visão da demonstração em
contexto escolar
Arguente
|
Jorge do Nascimento Lobão Pinto (Mestrado)
Universidade do Algarve - Campus de Gambelas, Portugal
|
2007/12/15 | Teorema de Perron-Frobenius. Aplicação às Cadeias de Markov
(Relatóio de Estágio Científico, Licenciatura em Matemátca - ramo científico)
Arguente
|
Ana Carina José Inês (Outro)
Universidade do Algarve, Portugal
|
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2024/07/01 - 2024/08/09 | Theory and Applications of Categories (1201-56IX) | |
2023/02/20 - 2023/10/31 | Applied Categorical Structures (1572-9095) | Springer |
2021/03/15 - 2022/08/30 | Applied Categorical Structures (1572-9095) | Springer |
2021/01/19 - 2022/04/17 | Theory and Applications of Categories (1201 - 561X) | |
2020/11/30 - 2021/03/13 | Journal of Algebra (0021-8693) | Elsevier |
2020/11/26 - 2021/02/18 | Coimbra Mathematical Texts (2813-0065) | Springer |
2019/12/14 - 2020/02/21 | Theory and Applications of Categories (1201 - 561X) | |
2019/01/03 - 2019/06/11 | Topology and its Applications (0166-8641) | Elsevier |
2018/03/07 - 2018/04/15 | Theory and Applications of Categories (1201 - 561X) | |
2017/01/23 - 2017/03/04 | Cahiers de Topologie et Géométrie Différentielle Catégoriques (2681-2363) | |
2015/02/26 - 2015/04/20 | Homology Homotopy and Applications (1532-0081) | "International Press of Boston, Inc." |
2013/11/21 - 2014/06/13 | Applied Categorical Structures (1572-9095) | Springer |
2012/12/17 - 2013/02/20 | Applied Categorical Structures (1572-9095) | Springer |
2010/10/05 - 2010/11/23 | Journal of Pure and Applied Algebra (0022-4049) | Elsevier |
2009/07/13 - 2009/08/28 | Theory and Applications of Categories (1201 - 561X) | |
2008/09/14 - 2008/12/05 | Applied Categorical Structures (1572-9095) | Springer |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2010/09/01 - 2011/07/23 | Member of the Scientific Committee of the International Category Theory Conference 2011 (CT2011), 17-23 July 2017, Vancouver,
Canada
Membro
|
The University of British Columbia, Canadá |