271 citations
- Polytechnic Institute of BragançaPT4 papers
- University of CoimbraPT4 papers
- Aberystwyth UniversityGB3 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut de Mécanique Céleste et de Calcul des ÉphéméridesFR3 papers
- Institute of Theoretical PhysicsCN3 papers
- Lanzhou UniversityCN3 papers
- University of Cape VerdeCV3 papers
- Bialystok University of TechnologyPL2 papers
- Jeju National UniversityKR2 papers
- Joint Institute for Nuclear ResearchRU2 papers
- Sorbonne UniversitéFR2 papers
Showing math.CTShow all
3 papers · 1 filter
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…