An introduction to the theory of lists. M. Broy (Ed.), Logic of Programming and Calculi of Discrete Design, Nato ASI Series F, vol. 36, Springer, Berlin (1987) ...
In this paper, relational models are resurrected, as a tool rather than as an end, to construct certain symmetric monoidal closed full subcategories of T0- ...
Taut Monads and T0-spaces · E. Manes · Published in Theoretical Computer Science 28 March 2002 · Mathematics.
Taut Monads, Dynamic Logic and Determinism · Monads in topology · Probability, valuations, hyperspace: three monads on top and the support as a morphism.
Feb 17, 2021 · Bibliographic details on Taut Monads and T0-spaces.
People also ask
What are the three types of monad?
What are the monad axioms?
Taut monads and T0 spaces. Theoretical Computer Science, 275 (2002), pp. 79-109. View PDFView articleView in Scopus Google Scholar. [14]. E.G. Manes. Monads of ...
Taut Monads and T0-spaces. Manes, E.G.. Theoretical Computer Science 275(1-2): 79-109. 2002. ISSN/ISBN: 0304-3975. Accession: 078174129. Article emailed within ...
Abstract. We establish a calculus of differences for taut endofunctors of the category of sets, analogous to the classical calculus of finite differences ...
Nov 13, 2013 · This paper begins a systematic study of weakly cartesian properties of monads that determine familiar varieties of universal algebras.
Jun 6, 2024 · A monad ( T , m , u ) (T, m, u) on a category with pullbacks is taut if T T is a taut functor and m , u m, u are taut transformations. 2.
Missing: T0- | Show results with:T0-