???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".
Identificação

Identificação pessoal

Nome completo
Dirk Hofmann

Identificadores de autor

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

Websites

Domínios de atuação

  • Ciências Exatas - Matemática
Formação
Grau Classificação
2015
Concluído
 Mathematics (Título de Agregado)
Universidade de Aveiro, Portugal
"n/a" (TESE/DISSERTAÇÃO)
 n/a
1999
Concluído
 Mathematics (Doktor (PhD))
Universität Bremen, Alemanha
"Natural Dualities and the generalised Stone-Weierstraß Theorem" (TESE/DISSERTAÇÃO)
 magna cum laude
1995
Concluído
 Mathematics (Master)
Especialização em Mathematics
Universität Bremen, Alemanha
"Rings of continuous functions" (TESE/DISSERTAÇÃO)
 1.0
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/05/15 - Atual Professor Associado (Docente Universitário) Universidade de Aveiro Departamento de Matemática, Portugal
Universidade de Aveiro Departamento de Matemática, Portugal
2008/12/01 - 2018/05/15 Professor Auxiliar (Docente Universitário) Universidade de Aveiro Departamento de Matemática, Portugal
Universidade de Aveiro, Portugal
2001/10/01 - 2008/11/30 Professor Auxiliar Convidado (Docente Universitário) Universidade de Aveiro Departamento de Matemática, Portugal
2000/09/01 - 2001/09/30 Assistente Convidado (Docente Universitário) Universidade de Coimbra, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
1999/09/01 - 2000/07/31 Postdoctoral Fellow Universidade de Coimbra, Portugal
Projetos

Bolsa

Designação Financiadores
2015/06 - Atual Conferência: Category Theory 2015
147201547180FAC
 Fundação para a Ciência e a Tecnologia

Projeto

Designação Financiadores
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
Concluído
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
Concluído
2013/07 - 2016/06 NASONI -- Heterogeneous software coordination: Foundations, methods, tools
PTDC/EEI-CTP/2341/2012
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Investigador
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
Concluído
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
Concluído
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
Concluído
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
Investigador
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
Concluído
2011 - 2013 Strategic Project - PEst-C/MAT/UI4106/2011
FCOMP-01-0124-FEDER-022690
Concluído
Produções

Publicações

Artigo em conferência
  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
Artigo em revista
  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
Livro
  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
Resumo em conferência
  1. Clementino, Maria Manuel; Hofmann, Dirk; Ribeiro, Willian. "Weak exponentiability of topological structures". Trabalho apresentado em 2019 Interdisciplinary Colloquium in Topology and its Applications, Vigo, 2019.
    Aceite para publicação
  2. Gutierres, Gonçalo; Hofmann, Dirk. "Continuous metrics". Trabalho apresentado em Topology, Algebra and Categories in Logic, Marselha, 2011.
    Publicado
  3. Gutierres, Gonçalo; Hofmann, Dirk. "Metric compact Hausdorff spaces". Trabalho apresentado em Topology, Algebra, and Categories in Logic, Marselha, 2011.
    Publicado
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
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, África do Sul)
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, Espanha)
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, Estados Unidos)
2023/07/07 Barr-coexactness for representable spaces CT 2023 -- International Category Theory Conference
Université catholique de Louvain (Bélgica)
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, Itália)
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, Reino Unido)
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 (África do Sul)
2017/09 Generating the algebraic theory of $C(X)$ for partially ordered compact spaces and beyond Geometry and non Classical Logics
(Salerno, Itália)
2017/07/21 Duality theory, convergence, and enriched categories CT 2017 -- International Category Theory Conference
(Vancouver, Canadá)
2017/02 Enriched perspectives on duality theory 37th Linz Seminar on Fuzzy Set Theory
(Linz, Áustria)
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, Reino Unido)
2013 Cauchy completeness à la Lawvere WiAT 13 – Conference in Applied Topology
(Bilbao, Espanha)
2012/10 Variations on a theme of Vietoris Coalgebraic Logics
Schloss Dagstuhl - Leibniz-Center for Informatics (Alemanha)
2012/08 Some Remarks on the Metric Vietoris Monad Workshop on Duality Theory in Algebra, Logic and Computer Science
University of Oxford (Reino Unido)
2011/03 Dualities for distributive spaces 2011 Spring Southeastern AMS Sectional Meeting
(Statesboro, Estados Unidos)
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, República Checa)
2007/06 Topological spaces, categorically CT 2007 – International Category Theory Conference
(Carvoeiro, Portugal)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2017 - 2021 Multicategories, Yoneda Structures, And all That
Orientador de Eros Martinelli
 map-pdma (Doutoramento)
Universidade de Aveiro, Portugal
2014 - 2018 Kleisli dualities and Vietoris coalgebras
Orientador de Pedro Nora
 Programa Doutoral em Matemática (Doutoramento)
Universidade de Aveiro, Portugal
2008 - 2014 Topology via enriched categories
Orientador de Carla David Reis
 Doutoramento conjunto em Matemática - Matemática e Aplicações (PDMA) (Doutoramento)
Universidade de Aveiro, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2024/07/08 - 2024/07/12 38th Summer Conference on Topology and Its Applications (2024/07/08 - 2024/07/08)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra, Portugal
2022/06/20 - 2022/06/24 Topology, Algebra, and Categories in Logic (2022/06/20 - 2022/06/24)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra, Portugal
2001/04/18 - 2021/04/21 IV Iberoamerican Conference on Topology and its Applications (2001/04/18 - 2021/04/21)
Conferência (Membro da Comissão Organizadora)
 Universidade de Coimbra, Portugal
2015/06/14 - 2015/06/19 Category Theory 2015. International Conference on Category Theory. (2015/06/14 - 2015/06/19)
Conferência (Membro da Comissão Organizadora)
 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)
Conferência (Membro da Comissão Organizadora)

Júri de grau académico

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

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2018 - Atual Theory and Applications of Categories
2013 - Atual Categories and General Algebraic Structures with Applications

Tutoria

Tópico Nome do aluno
2023/11/01 - 2024/07/31 Category theory and Topology Kira Morozova