Identification
Personal identification
- Full name
- Diana Rodelo
Citation names
- Rodelo, Diana
Author identifiers
- Ciência ID
- 6C16-FCF9-64A0
- ORCID iD
- 0000-0002-4816-3234
Addresses
- Departamento de Matemática, Universidade do Algarve, 8005-139, Gambelas, Faro, Portugal (Professional)
Websites
- https://diana-rodelo.webnode.pt/ (Professional)
Knowledge fields
- Exact Sciences - Mathematics
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
English | Proficiency (C2) | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) |
French | Elementary (A2) | Elementary (A2) | Elementary (A2) | Elementary (A2) | Beginner (A1) |
Education
Degree | Classification | |
---|---|---|
2022/02/23 - 2022/02/24
Concluded
|
n/a (Título de Agregado)
Major in Pure Mathematics
Universidade de Coimbra, Portugal
|
Aprovada por unanimidade |
2005/11/18
Concluded
|
PhD In Mathematics (Doutoramento)
Major in Pure Mathematics
Universidade de Coimbra, Portugal
"Direcções para a Sucessão Longa de Co-homologia" (THESIS/DISSERTATION)
|
Aprovada com distinção e louvor |
1997/06/08 - 2000/01/14
Concluded
|
Masters in Mathematics (Mestrado)
Major in Pure Mathematics
Universidade de Coimbra, Portugal
"Modularidade e Noções Afins - Interpretações Categoriais" (THESIS/DISSERTATION)
|
Muito Bom |
1994/10/10 - 1997/09/05
Concluded
|
Degree in Mathematics (Licenciatura)
Major in Pure Mathematics
Universidade de Coimbra, Portugal
|
17/20 |
1990/01/08 - 1994/09/15
Concluded
|
Degree in Computer Engeneering (Licenciatura)
Major in Networks
Universidade de Coimbra, Portugal
|
15/20 |
Affiliation
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2005/11/19 - Current | Assistant Professor (University Teacher) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
2000/01/15 - 2005/11/18 | Assistant (University Teacher) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1998/02/04 - 2000/01/14 | Trainee Assistant (University Teacher) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1997/09/15 - 1998/02/03 | Tutor (University Teacher) | Universidade do Algarve - Campus de Gambelas, Portugal |
Universidade do Algarve - Campus de Gambelas, Portugal | ||
1997/03/04 - 1997/09/15 | Tutor (University Teacher) | Universidade de Coimbra, Portugal |
Universidade de Coimbra, Portugal |
Others
Category Host institution |
Employer | |
---|---|---|
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 |
Projects
Contract
Designation | Funders | |
---|---|---|
2012/03/01 - 2015/02/28 | Métodos Categoriais em Álgebra Não Abeliana
PTDC/MAT/120222/2010
Researcher
Universidade de Coimbra Centro de Matemática, Portugal
|
Concluded
|
Outputs
Publications
Journal article |
|
Magazine article |
|
Preprint |
|
Thesis / Dissertation |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
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, Belgium)
|
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, Brazil)
|
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, South Africa)
|
2019/07/13 | Intrinsic Schreier split extensions | Category Theory 2019 (CT2019)
University of Edinburgh (Edinburgh, United Kingdom)
|
2018/11/12 | Diagram lemmas for n-permutable categories | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Belgium)
|
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, Italy)
|
2017/07/20 | Stability properties for n-permutable categories | Category Theory 2017 (CT2017)
University of British Columbia (Vancouver, Canada)
|
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, Belgium)
|
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, France)
|
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, Belgium)
|
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, Italy)
|
2015/01/29 | Connections between algebraic categories | 3rd Workshop on categorical methods in non-abelian algebra
Université catholique de Louvain (Louvain-la-Neuve, Belgium)
|
2015/01/29 | Higher central extensions and cohomology | 3rd Workshop on categorical methods in non-abelian algebra
Université catholique de Louvain (Louvai-la-Neuve, Belgium)
|
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, Italy)
|
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, United Kingdom)
|
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, Belgium)
|
2013/07/10 | Remarks on 2-star-permutability in regular multi-pointed categories | Category Theory 2013 (CT2013)
Macquarie University (Sydney, Australia)
|
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, Belgium)
|
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, Belgium)
|
2012/11/19 | Internal categorical structures in n-permutable categories | Category Theory Seminar
Stellenbosch University (Stellenbosch, South Africa)
|
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, Belgium)
|
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, Belgium)
|
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, Italy)
|
2011/07/19 | Higher central extensions and cohomology | Category Theory 2011 (CT2011)
University of British Columbia (Vancouver, Canada)
|
2011/01/24 | Internal structures in n-permutable varieties | Séminaire de théorie des catégories
Université catholique de Louvain (Louvain-la-Neuve, Belgium)
|
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, Italy)
|
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, Belgium)
|
2010/04/25 | Universal I-central extensions · | 90th Peripatetic Seminar on Sheaves and Logic (PSSL90)
Institut für Theoretische Informatik TU (Braunschweig,, Germany)
|
2009/06/30 | On the product-preservation of the abelianisation functor | Category Theory 2009 (CT2009)
University of Cape Town (Cape Town, South Africa)
|
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, Belgium)
|
2008/02/27 | A universal construction in Goursat categories | Category Theory Seminar
Université du Littoral (Calais, France)
|
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, Canada)
|
2005/05/13 | Sommes de Baer dans les catégories de Moore | Séminaire Itinérant des Catégories (SIC)
Université du Littoral (Calais, France)
|
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, Canada)
|
2004/01/19 | Moore categories (with Baer sums) | Category Theory Seminar
Université du Littoral (Calais, France)
|
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, Belgium)
|
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)
|
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2024/10/01 - Current | Approximate (co-)operations in Categorical Algebra
Co-supervisor
|
Mathematics (PhD) |
2022/10/01 - 2023/08/31 | Enriched Aspects of Categorical Algebra
Co-supervisor
|
Mathematics (PhD)
Universidade de Coimbra, Portugal
|
2016/10/01 - 2020/08/21 | Selected topics in Goursat categories
Co-supervisor
|
Mathematics (PhD)
Université catholique de Louvain Institut de recherche en mathématique et physique, Belgium
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
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)
Conference (Member of the Organising Committee)
|
Universidade de Santiago de Compostela, Spain |
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)
Conference (Member of the Organising Committee)
|
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)
Conference (Member of the Organising Committee)
|
Universidade de Coimbra Centro de Matemática, Portugal |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2025/02/03 | Categorical-Algebraic Conditions in Semi-Abelian Categories
Thesis Member
|
Corentin Vienne (PhD)
Université catholique de Louvain, Belgium
|
2024/01/08 | Some Aspects of Descent and Applications | Rui Prezado (PhD)
Universidade de Coimbra, Portugal
|
2023/09 | A categorical-algebraic exploration of models for many-valued logic | Andrea Cappelletti (PhD)
Universita degli Studi di Milano Dipartimento di Matematica Federigo Enriques, Italy
|
2023/02/09 | On extensivity of morphisms in general categories
(Thesis) Arguer
|
Emma Theart (Master)
Stellenbosch University, South Africa
|
2022/04/12 | On Lax Factorisation Systems | Leonard Larizza (PhD)
Universidade de Coimbra, Portugal
|
2021/07/16 | Aspects of Regular and Exact Completions
(Thesis) Arguer
|
Vasileios Aravantinos-Sotiropoulos (PhD)
Université catholique de Louvain Institut de recherche en mathématique et physique, Belgium
|
2020/08/21 | Selected Topics in Goursat Categories
Supervisor
|
Idriss Tchoffo Nguefeu (PhD)
Université catholique de Louvain Institut de recherche en mathématique et physique, Belgium
|
2019/12/05 | An intrinsic approach to the non-abelian tensor product | Davide di Micco (PhD)
Universita degli Studi di Milano Dipartimento di Matematica Federigo Enriques, Italy
|
2017/12/18 | Categorical-algebraic methods in non-commutative and non-associative algebra | Xabier García Martínez (PhD)
Universidade de Santiago de Compostela, Spain
|
2017/11/16 | Towards Projective Set Theory | P J Van Zyl (Master)
Stellenbosch University, South Africa
|
2017/08/25 | Quadratic equivalences and the Baker-Campbell-Hausdorff formula for 2-step nilpotent varieties | Thibault Defourneau (PhD)
Université Polytechnique Hauts-de-France, France
|
2016/11/23 | Embedding Theorems in Non-Abelian Categorical Algebra
(Thesis) Arguer
|
Pierre-Alain Jacqmin (PhD)
Université catholique de Louvain Institut de recherche en mathématique et physique, Belgium
|
2015/09/01 | Internal monoid actions in a cartesian closed category and higher dimensional group automorphisms | Pako Ramasu (PhD)
University of Cape Town, South Africa
|
2011/11/18 | Especialização em Matemática, Centros do Triângulo: uma visão da demonstração em
contexto escolar
(Thesis) Arguer
|
Jorge do Nascimento Lobão Pinto (Master)
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)
(Thesis) Arguer
|
Ana Carina José Inês (Other)
Universidade do Algarve, Portugal
|
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
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
Member
|
The University of British Columbia, Canada |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
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 |