Issue Date | Title | Author(s) | Type | Access Type |
10-Jul-2017 | Aspects of algebraic algebras | Hofmann, Dirk; Sousa, Lurdes | article | |
Feb-2020 | Cartesian closed exact completions in topology | Clementino, Maria Manuel; Hofmann, Dirk; Ribeiro, Willian | article | |
15-Aug-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. | article | |
2018 | Convergence and quantale-enriched categories | Hofmann, Dirk; Reis, Carla D. | article | |
2015 | A cottage industry of lax extensions | Hofmann, Dirk; Seal, Gavin J. | article | |
2015 | Dualities for modal algebras from the point of view of triples | Hofmann, Dirk; Nora, Pedro | article | |
Mar-2023 | Duality theory for enriched Priestley spaces | Hofmann, Dirk; Nora, Pedro | article | |
25-May-2018 | Enriched Stone-type dualities | Hofmann, Dirk; Nora, Pedro | article | |
2015 | Exponentiable approach spaces | Hofmann, Dirk; Seal, Gavin J. | article | |
2015 | Exponential Kleisli monoids as Eilenberg-Moore algebras | Hofmann, Dirk; Mynard, Frédéric; Seal, Gavin J. | article | |
2018 | Generating the algebraic theory of C(X): the case of partially ordered compact spaces | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
Oct-2020 | Hausdorff coalgebras | Hofmann, Dirk; Nora, Pedro | article | |
21-Apr-2023 | Kantorovich functors and characteristic logics for behavioural distances | Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | bookPart | |
Apr-2019 | Limits in categories of Vietoris coalgebras | Hofmann, Dirk; Neves, Renato; Nora, Pedro | article | |
Oct-2016 | On exponentiable morphisms in classical algebra | Clementino, Maria Manuel; Hofmann, Dirk; Janelidze, George | article | |
23-Dec-2023 | A point-free perspective on lax extensions and predicate liftings | Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | article | |
2023 | Quantitative Hennessy-Milner theorems via notions of density | Forster, Jonas; Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul | article | |
2015 | Representable (T,V)-categories | Chikhladze, Dimitri; Clementino, Maria Manuel; Hofmann, Dirk | article | |
Aug-2017 | The rise and fall of V-functors | Clementino, Maria Manuel; Hofmann, Dirk | article | |
2018 | Topology from enrichment: the curious case of partial metrics | Hofmann, Dirk; Stubbe, Isar | article | |