Browsing by Author Hofmann, Dirk

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 20
Issue DateTitleAuthor(s)TypeAccess Type
10-Jul-2017Aspects of algebraic algebrasHofmann, Dirk; Sousa, LurdesarticleopenAccess
Feb-2020Cartesian closed exact completions in topologyClementino, Maria Manuel; Hofmann, Dirk; Ribeiro, WillianarticleopenAccess
15-Aug-2016Continuity as a computational effectNeves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.articleopenAccess
2018Convergence and quantale-enriched categoriesHofmann, Dirk; Reis, Carla D.articleopenAccess
2015A cottage industry of lax extensionsHofmann, Dirk; Seal, Gavin J.articleopenAccess
2015Dualities for modal algebras from the point of view of triplesHofmann, Dirk; Nora, PedroarticleopenAccess
Mar-2023Duality theory for enriched Priestley spacesHofmann, Dirk; Nora, PedroarticleembargoedAccess
25-May-2018Enriched Stone-type dualitiesHofmann, Dirk; Nora, PedroarticleopenAccess
2015Exponentiable approach spacesHofmann, Dirk; Seal, Gavin J.articleopenAccess
2015Exponential Kleisli monoids as Eilenberg-Moore algebrasHofmann, Dirk; Mynard, Frédéric; Seal, Gavin J.articleopenAccess
2018Generating the algebraic theory of C(X): the case of partially ordered compact spacesHofmann, Dirk; Neves, Renato; Nora, PedroarticleopenAccess
Oct-2020Hausdorff coalgebrasHofmann, Dirk; Nora, PedroarticleembargoedAccess
21-Apr-2023Kantorovich functors and characteristic logics for behavioural distancesGoncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, PaulbookPartopenAccess
Apr-2019Limits in categories of Vietoris coalgebrasHofmann, Dirk; Neves, Renato; Nora, PedroarticleopenAccess
Oct-2016On exponentiable morphisms in classical algebraClementino, Maria Manuel; Hofmann, Dirk; Janelidze, GeorgearticlerestrictedAccess
23-Dec-2023A point-free perspective on lax extensions and predicate liftingsGoncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, PaularticleopenAccess
2023Quantitative Hennessy-Milner theorems via notions of densityForster, Jonas; Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, PaularticleopenAccess
2015Representable (T,V)-categoriesChikhladze, Dimitri; Clementino, Maria Manuel; Hofmann, DirkarticleopenAccess
Aug-2017The rise and fall of V-functorsClementino, Maria Manuel; Hofmann, DirkarticleopenAccess
2018Topology from enrichment: the curious case of partial metricsHofmann, Dirk; Stubbe, IsararticleopenAccess