Publications by Gavin Jay Seal

Exponential Kleisli Monoids as Eilenberg-Moore Algebras

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 identified as those Kleisli monoids with algebraic structure. This result generalizes ...

Springer2015

Exponentiable Approach Spaces

Gavin Jay Seal, Dirk Hofmann

In this note we present a characterisation of exponentiable approach spaces in terms of ultrafilter convergence. ...

Univ Houston2015

Tensors, Monads And Actions

Gavin Jay 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. The category of actions in C^T is then shown to be monadic over the base catego ...

Mount Allison University2013

The Chu Construction For Complete Atomistic Coatomistic Lattices

Gavin Jay Seal, Boris Ischi

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 compared with a certain number of other existing tensor products. ...

Univ Houston2013

Order-adjoint monads and injective objects

Gavin Jay Seal

Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T ...

Elsevier2010