Composing submonads

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic Pub Date : 1900-01-01 DOI:10.1109/ISMVL.2001.924597

P. Eklund, María Ángeles Galán García, J. Medina, M. Ojeda‐Aciego, A. Valverde

引用次数: 5

Abstract

In this paper we use the concept of subfunctors and submonads in order to provide a technique for constructing new monads from given ones. We study some properties of these constructions and provide more examples on monad compositions.

查看原文本刊更多论文

作曲submonads

本文利用子函子和子单子的概念，提供了一种从给定单子构造新单子的技术。我们研究了这些结构的一些性质，并提供了更多关于单组合的例子。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量