Browsing by Author Hofmann, Dirk
Showing results 15 to 20 of 20
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
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 |