pith. the verified trust layer for science. sign in

Dirk Hofmann

Identifiers

  • name variant Dirk Hofmann 0.60 · backfill

Papers (28)

  1. Cauchy convergence in V-normed categories math.CT · 2024 · author #2
  2. Cartesian closed exact completions in topology math.CT · 2018 · author #2
  3. Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces math.CT · 2017 · author #1
  4. Convergence and quantale-enriched categories math.CT · 2017 · author #1
  5. Limits in Categories of Vietoris Coalgebras cs.LO · 2016 · author #1
  6. Topology from enrichment: the curious case of partial metrics math.CT · 2016 · author #1
  7. Enriched Stone-type dualities math.CT · 2016 · author #1
  8. A cottage industry of lax extensions math.CT · 2015 · author #1
  9. Continuity as a computational effect cs.LO · 2015 · author #3
  10. Representable (T, V)-categories math.CT · 2014 · author #3
  11. Some notes on Esakia spaces math.CT · 2014 · author #1
  12. Exponentiable approach spaces math.GN · 2013 · author #1
  13. Dualities in modal logic from the point of view of triples math.LO · 2013 · author #1
  14. Measuring excitation-energy transfer with a real-time time-dependent density functional theory approach cond-mat.mtrl-sci · 2012 · author #1
  15. The enriched Vietoris monad on representable spaces math.CT · 2012 · author #1
  16. On a coalgebraic view on Logic math.LO · 2012 · author #1
  17. Exponential Kleisli monoids as Eilenberg-Moore algebras math.CT · 2012 · author #1
  18. Probabilistic Metric Spaces as enriched categories math.GN · 2012 · author #1
  19. Approaching metric domains math.GN · 2011 · author #2
  20. A four for the price of one duality principle for distributive spaces math.GN · 2011 · author #1
  21. A Duality of Quantale-Enriched Categories math.CT · 2010 · author #1
  22. Duality for distributive space math.CT · 2010 · author #1
  23. Approximation in quantale-enriched categories math.CT · 2010 · author #1
  24. Stone duality for topological theories math.CT · 2010 · author #1
  25. Relative injectivity as cocompleteness for a class of distributors math.CT · 2008 · author #2
  26. Injective Spaces via Adjunction math.CT · 2008 · author #1
  27. Lawvere completion and separation via closure math.CT · 2007 · author #1
  28. Exponentiable functors between quantaloid-enriched categories math.CT · 2006 · author #2

Mentions

  • 1009.3892 #1 · backfill · confidence 0.70 Dirk Hofmann
  • 1004.2228 #1 · backfill · confidence 0.70 Dirk Hofmann
  • 1004.0160 #1 · backfill · confidence 0.70 Dirk Hofmann
  • 0807.4123 #2 · backfill · confidence 0.70 Dirk Hofmann
  • 0804.0326 #1 · backfill · confidence 0.70 Dirk Hofmann
  • 0801.0199 #1 · backfill · confidence 0.70 Dirk Hofmann

Frequent Coauthors