Showing 1–1 of 1 results for author: Vargas, J F G

Galois correspondence for augmented monads

Authors: Johan Felipe García Vargas

Abstract: We establish a Galois connection between sub-monads of an augmented monad and sub-functors of the forgetful functor from its Eilenberg-Moore category. This connection is given in terms of invariants and stabilizers defined through universal properties. An explicit procedure for the computation of invariants is given assuming the existence of suitable right adjoints. Additionally, in the context of… ▽ More We establish a Galois connection between sub-monads of an augmented monad and sub-functors of the forgetful functor from its Eilenberg-Moore category. This connection is given in terms of invariants and stabilizers defined through universal properties. An explicit procedure for the computation of invariants is given assuming the existence of suitable right adjoints. Additionally, in the context of monoidal closed categories, a characterization of stabilizers is made in terms of Tannakian reconstruction. △ Less

Submitted 8 June, 2021; originally announced June 2021.

MSC Class: 18C15; 18E50; 18M05; 18D15; 16T05