12 citations · 21 across the 4 of their papers we have counts for
6 papers
A cottage industry of lax extensions
Dirk Hofmann, Gavin J. Seal
In this work, we describe an adjunction between the comma category of SET-based monads under the V-powerset monad and the category of associative lax extensions of SET-based monads…
Exponentiable approach spaces
Dirk Hofmann, Gavin J. Seal
In this note we present a characterisation of exponentiable approach spaces in terms of ultrafilter convergence.
Tensors, monads and actions
Gavin J. Seal
We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. Th…
Exponential Kleisli monoids as Eilenberg-Moore algebras
Dirk Hofmann, Frédéric Mynard, Gavin J. Seal
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identifie…
A Kleisli-based approach to lax algebras
Gavin J. Seal
By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain a neighborhood-like presentation of categories of lax algebras.…
The Chu construction for complete atomistic coatomistic lattices
Boris Ischi, Gavin J. Seal
The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is co…