◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Dirk Hofmann

4 papers here

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author1
  • last author2

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • math.CT4
ORCID 0000-0002-1082-6135

identity via Semantic Scholar / OpenAlex

most citedRelative injectivity as cocompleteness for a class of distributors

8 citations · 16 across the 4 of their papers we have counts for

collaborators

4 papers

math.CT2008★ 8 cited

Relative injectivity as cocompleteness for a class of distributors

Maria Manuel Clementino, Dirk Hofmann

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topolo…

math.CT2008★ 2 cited

Injective Spaces via Adjunction

Dirk Hofmann

Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen indiv…

math.CT2007★ 4 cited

Lawvere completion and separation via closure

Dirk Hofmann, Walter Tholen

For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, wher…

math.CT2007★ 2 cited

Lawvere completeness in Topology

Maria Manuel Clementino, Dirk Hofmann

It is known since 1973 that Lawvere's notion of (Cauchy-)complete enriched category is meaningful for metric spaces: it captures exactly Cauchy-complete metric spaces. In this pape…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.