???global.info.a_carregar???
Dirk Hofmann. I received my PhD in 1999 from the University of Bremen (Germany). Currently, I am Associate Professor at the Department of Mathematics of the University of Aveiro. From 2009 to 2016 and since 2018 I am Coordinator of the research group "Algebra and Geometry" of the Center for Research and Development in Mathematics and Applications of the Department of Mathematics of the University of Aveiro. I am Editor of "Theory and Applications of Categories" and Honorary Associate Editor of "Categories and General Algebraic Structures with Applications".
Identification

Personal identification

Full name
Dirk Hofmann

Author identifiers

Ciência ID
3112-9247-6B7B
ORCID iD
0000-0002-1082-6135

Websites

Knowledge fields

  • Exact Sciences - Mathematics
Education
Degree Classification
2015
Concluded
 Mathematics (Título de Agregado)
Universidade de Aveiro, Portugal
"n/a" (THESIS/DISSERTATION)
 n/a
1999
Concluded
 Mathematics (Doktor (PhD))
Universität Bremen, Germany
"Natural Dualities and the generalised Stone-Weierstraß Theorem" (THESIS/DISSERTATION)
 magna cum laude
1995
Concluded
 Mathematics (Master)
Major in Mathematics
Universität Bremen, Germany
"Rings of continuous functions" (THESIS/DISSERTATION)
 1.0
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2018/05/15 - Current Associate Professor (University Teacher) Universidade de Aveiro Departamento de Matemática, Portugal
Universidade de Aveiro Departamento de Matemática, Portugal
2008/12/01 - 2018/05/15 Assistant Professor (University Teacher) Universidade de Aveiro Departamento de Matemática, Portugal
Universidade de Aveiro, Portugal
2001/10/01 - 2008/11/30 Invited Assistant Professor (University Teacher) Universidade de Aveiro Departamento de Matemática, Portugal
2000/09/01 - 2001/09/30 Invited Assistant (University Teacher) Universidade de Coimbra, Portugal

Others

Category
Host institution 		Employer
1999/09/01 - 2000/07/31 Postdoctoral Fellow Universidade de Coimbra, Portugal
Projects

Grant

Designation Funders
2015/06 - Current Conferência: Category Theory 2015
147201547180FAC
 Fundação para a Ciência e a Tecnologia

Contract

Designation Funders
2018/06/01 - 2021/11/30 Coalgebraic Modeling and Analysis for Computational Synthetic Biology
PTDC/CCI-COM/30947/2017
POCI-01-0145-FEDER-030947
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2019/01/01 - 2019/12/31 Center for Research and Development in Mathematics and Applications
UID/MAT/04106/2019
Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/07 - 2016/06 NASONI -- Heterogeneous software coordination: Foundations, methods, tools
PTDC/EEI-CTP/2341/2012
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/03/01 - 2015/02/28 Categorical Methods in Non Abelian Algebra
PTDC/MAT/120222/2010
Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Matemática, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/01/01 - 2013/12/31 Strategic Project - UI 4106 - 2011-2012
PEst-C/MAT/UI4106/2011
PEst-C/MAT/UI0324/2011
Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal

Universidade de Coimbra, Portugal

Universidade de Coimbra Centro de Matemática, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010/03/15 - 2013/03 Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT
PTDC/EIA-CCO/108302/2008
Researcher
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
Universidade do Algarve Faculdade de Ciências e Tecnologia

Fundação para a Ciência e a Tecnologia
Concluded
2011 - 2013 Strategic Project - PEst-C/MAT/UI4106/2011
FCOMP-01-0124-FEDER-022690
Concluded
Outputs

Publications

Book
  1. Hofmann, D.; Lowen, R.; Lucyshyn-Wright, R.; Seal, G.J.. Kleisli monoids. 2014.
    10.1017/CBO9781107517288.006
  2. Hofmann, D.; Seal, G.J.; Tholen, W.. Monoidal topology: A categorical approach to order, metric, and topology. 2014.
    10.1017/CBO9781107517288
  3. Hofmann, D.; Tholen, W.. Lax algebras. 2014.
    10.1017/CBO9781107517288.005
Conference abstract
  1. Clementino, Maria Manuel; Hofmann, Dirk; Ribeiro, Willian. "Weak exponentiability of topological structures". Paper presented in 2019 Interdisciplinary Colloquium in Topology and its Applications, Vigo, 2019.
    Accepted
  2. Gutierres, Gonçalo; Hofmann, Dirk. "Continuous metrics". Paper presented in Topology, Algebra and Categories in Logic, Marselha, 2011.
    Published
  3. Gutierres, Gonçalo; Hofmann, Dirk. "Metric compact Hausdorff spaces". Paper presented in Topology, Algebra, and Categories in Logic, Marselha, 2011.
    Published
Conference paper
  1. Goncharov, S.; Hofmann, D.; Nora, P.; Schröder, L.; Wild, P.. "Identity-Preserving Lax Extensions and Where to Find Them". 2025.
    10.4230/LIPIcs.STACS.2025.40
  2. Goncharov, S.; Hofmann, D.; Nora, P.; Schröder, L.; Wild, P.. "Kantorovich Functors and Characteristic Logics for Behavioural Distances". Paris, 2023.
    10.1007/978-3-031-30829-1_3
  3. Forster, J.; Goncharov, S.; Hofmann, D.; Nora, P.; Schröder, L.; Wild, P.. "Quantitative Hennessy-Milner Theorems via Notions of Density". 2023.
    10.4230/LIPIcs.CSL.2023.22
Journal article
  1. Clementino, Maria Manuel; Hofmann, Dirk; Tholen, Walter. "Cauchy convergence in V-normed categories". Advances in Mathematics 470 (2025): 110247-110247.
    10.1016/j.aim.2025.110247
  2. Clementino, M.M.; Fitas, C.; Hofmann, D.. "A variety of co-quasivarieties". Topology and its Applications (2025): http://www.scopus.com/inward/record.url?eid=2-s2.0-85216329248&partnerID=MN8TOARS.
    10.1016/j.topol.2025.109226
  3. Marco Abbadini; Dirk Hofmann. "Barr-coexactness for metric compact Hausdorff spaces". Theory and Applications of Categories 44 6 (2025): 196-226. http://www.tac.mta.ca/tac/volumes/44/6/44-06abs.html.
  4. Goncharov, S.; Hofmann, D.; Nora, P.; Schröder, L.; Wild, P.. "A point-free perspective on lax extensions and predicate liftings". Mathematical Structures in Computer Science 34 2 (2024): 98-127. http://www.scopus.com/inward/record.url?eid=2-s2.0-85179072410&partnerID=MN8TOARS.
    10.1017/S096012952300035X
  5. Hofmann, D.; Nora, P.. "Duality theory for enriched Priestley spaces". Journal of Pure and Applied Algebra 227 3 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85138117763&partnerID=MN8TOARS.
    10.1016/j.jpaa.2022.107231
  6. Clementino, M.M.; Hofmann, D.; Ribeiro, W.. "Cartesian closed exact completions in topology". Journal of Pure and Applied Algebra 224 2 (2020): 610-629. http://www.scopus.com/inward/record.url?eid=2-s2.0-85067875526&partnerID=MN8TOARS.
    10.1016/j.jpaa.2019.06.003
  7. Hofmann, D.; Nora, P.. "Hausdorff Coalgebras". Applied Categorical Structures 28 5 (2020): 773-806. http://www.scopus.com/inward/record.url?eid=2-s2.0-85085117345&partnerID=MN8TOARS.
    10.1007/s10485-020-09597-8
  8. Hofmann, D.; Neves, R.; Nora, P.. "Limits in categories of Vietoris coalgebras". Mathematical Structures in Computer Science 29 4 (2019): 552-587. http://www.scopus.com/inward/record.url?eid=2-s2.0-85052699284&partnerID=MN8TOARS.
    10.1017/S0960129518000269
  9. Hofmann, D.; Neves, R.; Nora, P.. "Generating the algebraic theory of C(X): The case of partially ordered compact spaces". Theory and Applications of Categories 33 (2018): 276-295. http://www.scopus.com/inward/record.url?eid=2-s2.0-85050073187&partnerID=MN8TOARS.
    10.48550/arxiv.1706.05292
  10. Hofmann, D.; Reis, C.D.; Reis, C.. "Convergence and quantale-enriched categories". Categories and General Algebraic Structures with Applications 9 1 (2018): 77-138. http://www.scopus.com/inward/record.url?eid=2-s2.0-85059537178&partnerID=MN8TOARS.
    10.48550/arxiv.1705.08671
  11. Hofmann, D.; Nora, P.. "Enriched Stone-type dualities". Advances in Mathematics 330 (2018): 307-360. http://www.scopus.com/inward/record.url?eid=2-s2.0-85044444572&partnerID=MN8TOARS.
    10.1016/j.aim.2018.03.010
  12. Clementino, M.M.; Hofmann, D.. "The rise and fall of V-functors". Fuzzy Sets and Systems 321 (2017): 29-49. http://www.scopus.com/inward/record.url?eid=2-s2.0-84995580455&partnerID=MN8TOARS.
    10.1016/j.fss.2016.09.005
  13. Gürlebeck, K.; Hofmann, D.; Legatiuk, D.. "Categorical approach to modelling and to coupling of models". Mathematical Methods in the Applied Sciences 40 3 (2017): 523-534. http://www.scopus.com/inward/record.url?eid=2-s2.0-85007569930&partnerID=MN8TOARS.
    10.1002/mma.3978
  14. Hofmann, D.; Sousa, L.. "Aspects of algebraic Algebras". Logical Methods in Computer Science 13 3 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85041819483&partnerID=MN8TOARS.
    10.23638/LMCS-13(3:4)2017
  15. Clementino, M.M.; Hofmann, D.; Janelidze, G.. "On Exponentiable Morphisms in Classical Algebra". Applied Categorical Structures 24 5 (2016): 733-742. http://www.scopus.com/inward/record.url?eid=2-s2.0-84980021893&partnerID=MN8TOARS.
    10.1007/s10485-016-9458-7
  16. Neves, R.; Barbosa, L.S.; Hofmann, D.; Martins, M.A.. "Continuity as a computational effect". Journal of Logical and Algebraic Methods in Programming 85 5 (2016): 1057-1085. http://www.scopus.com/inward/record.url?eid=2-s2.0-84979643009&partnerID=MN8TOARS.
    10.1016/j.jlamp.2016.05.005
  17. Hofmann, D.; Nora, P.. "Dualities for modal algebras from the point of view of triples". Algebra Universalis 73 3-4 (2015): 297-320. http://www.scopus.com/inward/record.url?eid=2-s2.0-84929946930&partnerID=MN8TOARS.
    10.1007/s00012-015-0324-5
  18. Chikhladze, D.; Clementino, M.M.; Hofmann, D.. "Representable (T, V)-category". Applied Categorical Structures 23 6 (2015): 829-858. http://www.scopus.com/inward/record.url?eid=2-s2.0-85000868732&partnerID=MN8TOARS.
    10.1007/s10485-014-9386-3
  19. Hofmann, D.; Mynard, F.; Seal, G.J.. "Exponential Kleisli Monoids as Eilenberg–Moore Algebras". Applied Categorical Structures 23 2 (2015): 137-157. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882417471&partnerID=MN8TOARS.
    10.1007/s10485-013-9328-5
  20. Hofmann, D.; Seal, G.J.. "Exponentiable approach spaces". Houston Journal of Mathematics 41 3 (2015): 1051-1062. http://www.scopus.com/inward/record.url?eid=2-s2.0-84946042339&partnerID=MN8TOARS.
  21. Clementino, M.M.; Hofmann, D.; Janelidze, G.. "The monads of classical algebra are seldom weakly cartesian". Journal of Homotopy and Related Structures 9 1 (2014): 175-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84897819189&partnerID=MN8TOARS.
    10.1007/s40062-013-0063-2
  22. Hofmann, D.. "The enriched Vietoris monad on representable spaces". Journal of Pure and Applied Algebra 218 12 (2014): 2274-2318. http://www.scopus.com/inward/record.url?eid=2-s2.0-84903779157&partnerID=MN8TOARS.
    10.1016/j.jpaa.2014.04.002
  23. Clementino, M.M.; Hofmann, D.; Montoli, A.. "Covering Morphisms in Categories of Relational Algebras". Applied Categorical Structures 22 5-6 (2014): 767-788. http://www.scopus.com/inward/record.url?eid=2-s2.0-84911962844&partnerID=MN8TOARS.
    10.1007/s10485-013-9349-0
  24. Hofmann, D.; Martins, M.A.. "On a coalgebraic view on Logic". Journal of Logic and Computation 23 5 (2013): 1097-1106. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885126274&partnerID=MN8TOARS.
    10.1093/logcom/exs063
  25. Hofmann, D.; Reis, C.D.. "Probabilistic metric spaces as enriched categories". Fuzzy Sets and Systems 210 (2013): 1-21. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867097627&partnerID=MN8TOARS.
    10.1016/j.fss.2012.05.005
  26. Hofmann, D.. "A Four for the Price of One Duality Principle for Distributive Spaces". Order 30 2 (2013): 643-655. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878769612&partnerID=MN8TOARS.
    10.1007/s11083-012-9267-z
  27. Clementino, M.M.; Hofmann, D.; Janelidze, G.. "On exponentiability of étale algebraic homomorphisms". Journal of Pure and Applied Algebra 217 7 (2013): 1195-1207. http://www.scopus.com/inward/record.url?eid=2-s2.0-84873749173&partnerID=MN8TOARS.
    10.1016/j.jpaa.2012.10.013
  28. Hofmann, D.. "Duality for distributive spaces". Theory and Applications of Categories 28 (2013): 66-122. http://www.scopus.com/inward/record.url?eid=2-s2.0-84873188182&partnerID=MN8TOARS.
  29. Hofmann, D.; Tholen, W.. "Lax algebra meets topology". Topology and its Applications 159 9 (2012): 2434-2452. http://www.scopus.com/inward/record.url?eid=2-s2.0-84860834967&partnerID=MN8TOARS.
    10.1016/j.topol.2011.09.049
  30. Gutierres, G.; Hofmann, D.. "Approaching Metric Domains". Applied Categorical Structures (2012): 1-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855599337&partnerID=MN8TOARS.
    10.1007/s10485-011-9274-z
  31. Hofmann, D.; Waszkiewicz, P.. "A duality of quantale-enriched categories". Journal of Pure and Applied Algebra 216 8-9 (2012): 1866-1878. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861461527&partnerID=MN8TOARS.
    10.1016/j.jpaa.2012.02.024
  32. Clementino, M.M.; Hofmann, D.. "Descent morphisms and a van Kampen Theorem in categories of lax algebras". Topology and its Applications 159 9 (2012): 2310-2319. http://www.scopus.com/inward/record.url?eid=2-s2.0-84860836575&partnerID=MN8TOARS.
    10.1016/j.topol.2011.07.031
  33. Hofmann, D.; Stubbe, I.. "Towards Stone duality for topological theories". Topology and its Applications 158 7 (2011): 913-925. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952902366&partnerID=MN8TOARS.
    10.1016/j.topol.2011.01.010
  34. Hofmann, D.. "Injective spaces via adjunction". Journal of Pure and Applied Algebra 215 3 (2011): 283-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-77958191365&partnerID=MN8TOARS.
    10.1016/j.jpaa.2010.04.021
  35. Clementino, M.M.; Hofmann, D.. "On the completion monad via the Yoneda embedding in quasi-uniform spaces". Topology and its Applications 158 17 (2011): 2423-2430. http://www.scopus.com/inward/record.url?eid=2-s2.0-80053190624&partnerID=MN8TOARS.
    10.1016/j.topol.2011.01.026
  36. Hofmann, D.; Waszkiewicz, P.. "Approximation in quantale-enriched categories". Topology and its Applications 158 8 (2011): 963-977. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953211832&partnerID=MN8TOARS.
    10.1016/j.topol.2011.02.003
  37. Hofmann, D.; Tholen, W.. "Lawvere completion and separation via closure". Applied Categorical Structures 18 3 (2010): 259-287. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956472767&partnerID=MN8TOARS.
    10.1007/s10485-008-9169-9
  38. Clementino, M.M.; Hofmann, D.. "Relative Injectivity as Cocompleteness for a Class of Distributors". Theory and Applications of Categories 21 (2009): 210-230. http://www.scopus.com/inward/record.url?eid=2-s2.0-62649099662&partnerID=MN8TOARS.
  39. Clementino, M.M.; Hofmann, D.; Stubbe, I.. "Exponentiable functors between quantaloid-enriched categories". Applied Categorical Structures 17 1 (2009): 91-101. http://www.scopus.com/inward/record.url?eid=2-s2.0-58149497372&partnerID=MN8TOARS.
    10.1007/s10485-007-9104-5
  40. Clementino, M.M.; Hofmann, D.. "Lawvere completeness in topology". Applied Categorical Structures 17 2 (2009): 175-210. http://www.scopus.com/inward/record.url?eid=2-s2.0-63049100225&partnerID=MN8TOARS.
    10.1007/s10485-008-9152-5
  41. Gutierres, G.; Hofmann, D.. "Sequential convergence via galois correspondences". Acta Mathematica Hungarica 123 1-2 (2009): 187-202. http://www.scopus.com/inward/record.url?eid=2-s2.0-64549087575&partnerID=MN8TOARS.
    10.1007/s10474-008-8082-x
  42. Giuli, E.; Hofmann, D.. "Affine sets: The structure of complete objects and duality". Topology and its Applications 156 12 (2009): 2129-2136. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349191240&partnerID=MN8TOARS.
    10.1016/j.topol.2009.03.036
  43. Gutierres, G.; Hofmann, D.. "Axioms for sequential convergence". Applied Categorical Structures 15 5-6 (2007): 599-614. http://www.scopus.com/inward/record.url?eid=2-s2.0-36949034534&partnerID=MN8TOARS.
    10.1007/s10485-007-9095-2
  44. Hofmann, D.. "Topological theories and closed objects". Advances in Mathematics 215 2 (2007): 789-824. http://www.scopus.com/inward/record.url?eid=2-s2.0-34547667545&partnerID=MN8TOARS.
    10.1016/j.aim.2007.04.013
  45. Manuel Clementino, M.; Hofmann, D.. "On Some Special Classes of Continuous Maps". Open Problems in Topology II (2007): 367-376. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882928900&partnerID=MN8TOARS.
    10.1016/B978-044452208-5/50039-9
  46. Clementino, M.M.; Hofmann, D.. "Exponentiation in V-categories". Topology and its Applications 153 16 (2006): 3113-3128. http://www.scopus.com/inward/record.url?eid=2-s2.0-33748420493&partnerID=MN8TOARS.
    10.1016/j.topol.2005.01.038
  47. Hofmann, D.; Tholen, W.. "Kleisli compositions for topological spaces". Topology and its Applications 153 15 (2006): 2952-2961. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746765576&partnerID=MN8TOARS.
    10.1016/j.topol.2005.06.018
  48. Hofmann, D.. "Exponentiation for unitary structures". Topology and its Applications 153 16 (2006): 3180-3202. http://www.scopus.com/inward/record.url?eid=2-s2.0-33748427617&partnerID=MN8TOARS.
    10.1016/j.topol.2005.01.037
  49. Hofmann, D.. "An algebraic description of regular epimorphisms in topology". Journal of Pure and Applied Algebra 199 1-3 (2005): 71-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-17544374950&partnerID=MN8TOARS.
    10.1016/j.jpaa.2004.12.039
  50. Clementino, M.M.; Hofmann, D.; Janelidze, G.. "Local homeomorphisms via ultrafilter convergence". Proceedings of the American Mathematical Society 133 3 (2005): 917-922. http://www.scopus.com/inward/record.url?eid=2-s2.0-14644407450&partnerID=MN8TOARS.
    10.1090/S0002-9939-04-07569-0
  51. Clementino, M.M.; Hofmann, D.. "On extensions of lax monads". Theory and Applications of Categories 13 3 (2004): 41-60. http://www.scopus.com/inward/record.url?eid=2-s2.0-27844495079&partnerID=MN8TOARS.
  52. Clementino, M.M.; Hofmann, D.. "Effective descent morphisms in categories of lax algebras". Applied Categorical Structures 12 5-6 (2004): 413-425. http://www.scopus.com/inward/record.url?eid=2-s2.0-9944254763&partnerID=MN8TOARS.
    10.1023/B:APCS.0000049310.37773.fa
  53. Clementino, M.M.; Hofmann, D.; Tholen, W.. "One Setting for All: Metric, Topology, Uniformity, Approach Structure". Applied Categorical Structures 12 2 (2004): 127-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-1842457752&partnerID=MN8TOARS.
    10.1023/B:APCS.0000018144.87456.10
  54. Clementino, M.M.; Hofmann, D.. "Topological features of lax algebras". Applied Categorical Structures 11 3 (2003): 267-286. http://www.scopus.com/inward/record.url?eid=2-s2.0-0038379712&partnerID=MN8TOARS.
    10.1023/A:1024274315778
  55. Clementino, M.M.; Hofmann, D.; Tholen, W.. "Exponentiability in categories of lax algebras". Theory and Applications of Categories 11 1 (2003): 337-352. http://www.scopus.com/inward/record.url?eid=2-s2.0-9944256909&partnerID=MN8TOARS.
  56. Hofmann, D.. "On a generalization of the Stone-Weierstrass theorem". Applied Categorical Structures 10 6 (2002): 569-592. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036895336&partnerID=MN8TOARS.
    10.1023/A:1020969017551
  57. Hofmann, D.. "A generalization of the duality compactness theorem". Journal of Pure and Applied Algebra 171 2-3 (2002): 205-217. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037172919&partnerID=MN8TOARS.
    10.1016/S0022-4049(01)00132-3
  58. Clementino, M.M.; Hofmann, D.. "On limit stability of special classes of continuous maps". Topology and its Applications 125 3 (2002): 471-488. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037676026&partnerID=MN8TOARS.
    10.1016/S0166-8641(01)00293-0
  59. Clementino, M.M.; Hofmann, D.. "Triquotient maps via ultrafilter convergence". Proceedings of the American Mathematical Society 130 11 (2002): 3423-3431. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036842627&partnerID=MN8TOARS.
    10.1090/S0002-9939-02-06472-9
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2025/03/11 Normed categories Algebra, Logic and Topology Seminar
University of Coimbra (Coimbra, Portugal)
2024/12/13 Almost a variety of co-quasivarieties Brümmer 90 Conference
Cape Town University (Cidade do Cabo, South Africa)
2024/07/08 Enriched Hausdorff and Vietoris functors 38th Summer Conference on Topology and its Applications
University of Coimbra (Coimbra, Portugal)
2024/06/29 On predicate liftings and lax extensions of functors CT 2024 – International Category Theory Conference
University of Santiago de Compostela (Santiago de Compostela, Spain)
2023/09/14 Cauchy completeness for normed categories. XIV Portuguese Category Seminar.
University of Coimbra (Coimbra, Portugal)
2023/07/17 Enriched compact Hausdorff spaces The 37th Summer Conference on Topology and Its Applications
Youngstown State University (Youngstown, United States)
2023/07/07 Barr-coexactness for representable spaces CT 2023 -- International Category Theory Conference
Université catholique de Louvain (Belgium)
2022/07/19 From compact metric spaces to metric compact spaces
(Tomar, Portugal)
2022/06 On the double category of coalgebras
University of Coimbra (Coimbra, Portugal)
2022/04/29 Extensions and liftings of functors 5th Workshop on Categorical Algebra: recent developments and future perspectives
(Gargnano del Garda, Italy)
2022/02/25 On the double category of coalgebras XIII Portuguese Category Seminar
University of Coimbra (Coimbra, Portugal)
2021/07/08 Algebraic properties of enriched Priestley spaces
Online
2019/11/13 Enriched Priestley spaces Third Pan Pacific International Conference on Topology and Applications
(Chengdu, China)
2019/09/29 Order theory, enriched Workshop on Algebra, Logic and Topology
University of Coimbra, Portugal (Coimbra, Portugal)
2019/07/12 Coalgebras for enriched Hausdorff (and Vietoris) functors CT 2019 -- International Category Theory Conference
University of Edinburgh, Scotland (Edinburgh, United Kingdom)
2018/07/10 Limits in categories of Vietoris coalgebras CT 2018 -- International Category Theory Conference
University of Azores, Ponta Delgada, Portugal (Ponta Delgada,, Portugal)
2018/01/25 Three lectures on duality theory Days in Logics
University of Aveiro, Portugal (Aveiro, Portugal)
2017/12/07 From compact metric spaces to metric compact spaces Workshop on Topology and Topological Groups
African Institute for Mathematical Sciences, Muizenberg, South Africa (South Africa)
2017/09 Generating the algebraic theory of $C(X)$ for partially ordered compact spaces and beyond Geometry and non Classical Logics
(Salerno, Italy)
2017/07/21 Duality theory, convergence, and enriched categories CT 2017 -- International Category Theory Conference
(Vancouver, Canada)
2017/02 Enriched perspectives on duality theory 37th Linz Seminar on Fuzzy Set Theory
(Linz, Austria)
2016/09 Duality in topology from the point of view of triples. Workshop on Dualities.
University of Coimbra (Coimbra, Portugal)
2016/07 Stone-type dualities meet enriched category theory Encontro Nacional da SPM 2016
Escola Superior de Tecnologia do Barreiro do Instituto Politécnico de Setúbal (Portugal)
2016/05 Stone-type dualities beyond lattice structures II 4th Workshop on Categorical Methods in Non-Abelian Algebra
University of Coimbra (Portugal)
2016 Partial metric spaces as enriched categories 31st Summer Conference on Topology and its Applications
University of Leicester (Leicester, United Kingdom)
2013 Cauchy completeness à la Lawvere WiAT 13 – Conference in Applied Topology
(Bilbao, Spain)
2012/10 Variations on a theme of Vietoris Coalgebraic Logics
Schloss Dagstuhl - Leibniz-Center for Informatics (Germany)
2012/08 Some Remarks on the Metric Vietoris Monad Workshop on Duality Theory in Algebra, Logic and Computer Science
University of Oxford (United Kingdom)
2011/03 Dualities for distributive spaces 2011 Spring Southeastern AMS Sectional Meeting
(Statesboro, United States)
2010/03 Duality-TV Workshop on Categorical Topology
(Ponta Delgada, Portugal)
2009/07 ’Distributors at work’ in Topology 24th Summer Conference on Topology and its Applications
(Brno, Czech Republic)
2007/06 Topological spaces, categorically CT 2007 – International Category Theory Conference
(Carvoeiro, Portugal)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2017 - 2021 Multicategories, Yoneda Structures, And all That
Supervisor of Eros Martinelli
 map-pdma (PhD)
Universidade de Aveiro, Portugal
2014 - 2018 Kleisli dualities and Vietoris coalgebras
Supervisor of Pedro Nora
 Programa Doutoral em Matemática (PhD)
Universidade de Aveiro, Portugal
2008 - 2014 Topology via enriched categories
Supervisor of Carla David Reis
 Doutoramento conjunto em Matemática - Matemática e Aplicações (PDMA) (PhD)
Universidade de Aveiro, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2024/07/08 - 2024/07/12 38th Summer Conference on Topology and Its Applications (2024/07/08 - 2024/07/08)
Conference (Member of the Organising Committee)
 Universidade de Coimbra, Portugal
2022/06/20 - 2022/06/24 Topology, Algebra, and Categories in Logic (2022/06/20 - 2022/06/24)
Conference (Member of the Organising Committee)
 Universidade de Coimbra, Portugal
2001/04/18 - 2021/04/21 IV Iberoamerican Conference on Topology and its Applications (2001/04/18 - 2021/04/21)
Conference (Member of the Organising Committee)
 Universidade de Coimbra, Portugal
2015/06/14 - 2015/06/19 Category Theory 2015. International Conference on Category Theory. (2015/06/14 - 2015/06/19)
Conference (Member of the Organising Committee)
 Universidade de Aveiro, Portugal
2015/06/10 - 2015/06/13 Special session ``Categorical Methods in Algebra and Topology'' at the joint AMS-EMS-SPM International Meeting in Porto, Portugal, June 10 -- 13, 2015. (2015/06/10 - 2015/06/13)
Conference (Member of the Organising Committee)

Jury of academic degree

Topic
Role 		Candidate name (Type of degree)
Institution / Organization
2024/01/08 Some aspects of descent theory and applications
(Thesis) Main arguer
 Rui Rodrigues de Abreu Fernandes Prezado (PhD)
Universidade de Coimbra, Portugal
2023/09/04 Adding Uncertainty to Real-Time Programming
(Thesis) Main arguer
 Rui Carlos Azevedo Carvalho (Master)
Universidade do Minho, Portugal
2022/07/11 On Conditional Quantum Control
(Thesis) Main arguer
 Daniel Almeida Carvalho (Master)
Universidade do Minho, Portugal
2022/02/02 A framework for locally structured spaces
(Thesis) Main arguer
 Pierre-Yves Coursolle (PhD)
École Polytechnique, France
2019/09/16 Generalised enriched categories: exponentiation and injectivity
Thesis Member
 Willian Ribeiro Valencia da Silva (PhD)
Universidade de Coimbra, Portugal
2017/09/13 Descent Theory of $(T,V)$-Categories: Global-Descent and Étale-Descent
(Thesis) Main arguer
 Pier Giorgio Basile (PhD)
Universidade de Coimbra, Portugal
2015/04/01 Kan-injectividade e KZ-reflectividade em categorias enriquecidas com ordem
(Thesis) Main arguer
 Margarida Alexandre Abreu de Carvalho (PhD)
Universidade de Coimbra, Portugal
2013/06/20 A topological theory of $(T,V)$-categories
(Thesis) Arguer
 Serdar Sozubek (PhD)
2013/02/08 Reflections of universal algebras into semilattices, their Galois theories, and related factorization systems
Thesis Member
 Isabel Margarida da Costa Andrade Xarez (PhD)
Universidade de Aveiro, Portugal
2012/07/20 Tensors, preorders and ultraspaces: constructions stemming from the Vietoris spaces
(Thesis) Main arguer
 Valentin Mercier (Master)
2011/12/12 On Quantaloid-enriched categories in general, and sheaves on a quantaloid in particular
(Thesis) Arguer
 Isar Stubbe (Aggregation)
2009/11/16 On the Design of a Galculator
(Thesis) Main arguer
 Paulo Filipe Araújo da Silva (PhD)
Universidade do Minho, Portugal
2007/03/13 Separation, Completeness and Compactness in Metrically Generated Theories
(Thesis) Arguer
 An Gerlo (PhD)
2004/12/10 Objectos injectivos como álgebras de mónadas de filtros
(Thesis) Main arguer
 Nuno Miguel Esteves Patrício da Conceição (Master)
Instituto Politécnico do Porto Escola Superior de Educação, Portugal
2004/06/21 Grothendieck Descent in quasi-Varieties of Algebraic and Relational Structures
Thesis Member
 Ana Helena Alves de Malta Roque (PhD)
Universidade de Aveiro, Portugal
2003/09/19 The Monotone-Light Factorization System for Categories via Preordered and Ordered Sets
(Thesis) Main arguer
 João José Neves Silva Xarez (PhD)
Universidade de Aveiro, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2018 - Current Theory and Applications of Categories
2013 - Current Categories and General Algebraic Structures with Applications

Mentoring / Tutoring

Topic Student name
2023/11/01 - 2024/07/31 Category theory and Topology Kira Morozova