Open Access
Translator Disclaimer
may 2016 When are enriched strong monads double exponential monads?
Christopher Townsend
Bull. Belg. Math. Soc. Simon Stevin 23(2): 311-319 (may 2016). DOI: 10.36045/bbms/1464710120

Abstract

Some categorical conditions are given that are sufficient to show that an enriched monad with a strength is a double exponential monad. The conditions hold for the double power locale monad (enriched over posets) and so as an application it is shown that the double power locale monad is a double exponential monad. A benefit is that this result about the double power locale monad can be established without the need for any detailed discussion of frame presentations or topos theory.

Citation

Download Citation

Christopher Townsend. "When are enriched strong monads double exponential monads?." Bull. Belg. Math. Soc. Simon Stevin 23 (2) 311 - 319, may 2016. https://doi.org/10.36045/bbms/1464710120

Information

Published: may 2016
First available in Project Euclid: 31 May 2016

zbMATH: 1350.18014
MathSciNet: MR3507084
Digital Object Identifier: 10.36045/bbms/1464710120

Subjects:
Primary: 06D22 , 18D , 18D20

Keywords: categorical double exponential , frame , locale

Rights: Copyright © 2016 The Belgian Mathematical Society

JOURNAL ARTICLE
9 PAGES


SHARE
Vol.23 • No. 2 • may 2016
Back to Top