Zobrazeno 1 - 10
of 269
pro vyhledávání: '"Hofmann, Dirk"'
Autor:
Abbadini, Marco, Hofmann, Dirk
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities, the more
Externí odkaz:
http://arxiv.org/abs/2408.07039
Building on the notion of normed category as suggested by Lawvere, we introduce notions of Cauchy convergence and cocompleteness which differ from proposals in previous works. Key to our approach is to treat them consequentially as categories enriche
Externí odkaz:
http://arxiv.org/abs/2404.09032
It is shown that the duals of several categories of topological flavour, like the categories of ordered sets, generalised metric spaces, probabilistic metric spaces, topological spaces, approach spaces, are quasivarieties, presenting a common proof f
Externí odkaz:
http://arxiv.org/abs/2404.05017
Autor:
Hofmann, Dirk
Die vorliegende Arbeit zeigt einen Prozess zur direkten Anwendung computertomographischer Daten in der Produktentwicklung. Grundlage bilden die nach der Erfassung und einer mathematischen Rekonstruktion generierten Schichtbildsequenzen. Dieser Prozes
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79755
https://tud.qucosa.de/api/qucosa%3A79755/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79755/attachment/ATT-0/
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula. Numerous va
Externí odkaz:
http://arxiv.org/abs/2207.09187
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variat
Externí odkaz:
http://arxiv.org/abs/2202.07069
Publikováno v:
Mathematical Structures in Computer Science. 2023:1-30
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax exten
Externí odkaz:
http://arxiv.org/abs/2112.12681
Autor:
Hofmann, Dirk, Nora, Pedro
The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour that aims
Externí odkaz:
http://arxiv.org/abs/2009.02303
Autor:
Hofmann, Dirk, Nora, Pedro
As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categor
Externí odkaz:
http://arxiv.org/abs/1908.04380