Hofmann, Dirk
- A four for the price of one duality principle for distributive spaces
2011/02/13 by Hofmann, Dirk · 1 citation
#06A06 #06A75 #06D10 #06D22 #06D50 #06D75 #18C15 #54A20 #54F65 #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN)
- Probabilistic Metric Spaces as enriched categories
2012/01/05 by Hofmann, Dirk, Reis, Carla David · 1 citation
#18A05 #18B35 #18D15 #18D20 #54A20 #54B30 #FOS: Mathematics #General Topology (math.GN)
- Some notes on Esakia spaces
2014/08/05 by Dirk Hofmann, Hofmann, Dirk, Pedro Nora +1 · 1 citation
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings, Modules, and Algebras
- Kantorovich Functors and Characteristic Logics for Behavioural Distances
2022/02/14 by S. A. Goncharov, Goncharov, Sergey, Dirk Hofmann +7 · 2 citations
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
- Topology from enrichment: the curious case of partial metrics
2016/07/08 by Hofmann, Dirk, Stubbe, Isar · 1 citation
#06A15 #06F07 #18D20 #54E35 #Category Theory (math.CT) #FOS: Mathematics #General Topology (math.GN)
- Quantitative Hennessy-Milner Theorems via Notions of Density
2022/07/19 by Forster, Jonas, Goncharov, Sergey, Hofmann, Dirk +3 · 1 citation
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)