Search results
From MaRDI portal
- involution map for the functional monad 2014-08-28 Paper A functional representation of superextension monad and linked system monad 2014-08-28 Paper Trivial ...10 bytes (16 words) - 17:38, 9 December 2023
- Giry Monad (Extended Abstract) 2008-05-27 Paper Stochastic Relations 2007-10-05 Paper Kleisli morphisms and randomized congruences for the Giry monad 2007-09-03...10 bytes (19 words) - 20:23, 11 December 2023
- on Tychonoff spaces: functors and monads 2010-09-24 Paper The Sugeno integral and functional representation of the monad of lattice-valued capacities 2010-05-10...10 bytes (18 words) - 17:08, 11 December 2023
- 2020-05-05 Paper Relative Monads Formalised 2019-09-18 Paper Formalizing Restriction Categories 2019-09-18 Paper Quotienting the delay monad by weak bisimilarity...10 bytes (20 words) - 14:28, 12 December 2023
- idempotent measures of compact metric spaces 2009-12-03 Paper Probability measure monad on the category of ultrametric spaces 2009-10-26 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 21:21, 9 December 2023
- ``Infinitary addition, real numbers, and taut monads 2018-10-15 Paper Infinitary addition, real numbers, and taut monads 2018-10-15 Paper Real sets 2017-10-05...10 bytes (19 words) - 16:29, 9 December 2023
- Publication Type A functional representation of superextension monad and linked system monad 2014-08-28 Paper...10 bytes (16 words) - 11:28, 6 October 2023
- computation in the delay monad 2020-05-05 Paper Formalizing Restriction Categories 2019-09-18 Paper Quotienting the delay monad by weak bisimilarity 2018-12-04...10 bytes (17 words) - 00:13, 25 September 2023
- 2022-12-20 Paper Reiterman’s Theorem on Finite Algebras for a Monad 2022-12-08 Paper Finitary monads on the category of posets 2022-04-05 Paper Approximate injectivity...10 bytes (17 words) - 11:43, 8 December 2023
- 2000-06-04 Paper Parallelizing imperative functional programs: The vectorization monad 1997-05-22 Paper Parallel lexical analysis and parsing on the AMT distributed...10 bytes (20 words) - 11:22, 13 December 2023
- theory of monads 2012-01-24 Paper Pre-torsors and Galois comodules over mixed distributive laws 2011-06-17 Paper Weak bimonads and weak Hopf monads 2011-05-16...10 bytes (17 words) - 16:13, 6 December 2023
- amplitudes in an ensemble of Seifert fibered homology spheres 1996-03-24 Paper Monad method and canonical formalism of general relativity 1978-01-01 Paper...10 bytes (18 words) - 02:12, 13 December 2023
- multiplication maps for monads \(\mathbb{O}\), \(\mathbb{O}\mathbb{H}\) and \(\mathbb{O}\mathbb{S}\) 2014-08-28 Paper There is no monad based on Hartman-Mycielski...10 bytes (17 words) - 19:59, 11 December 2023
- finite trace strategies 2022-05-03 Paper Steps and traces 2021-10-21 Paper A monad for full ground reference cells 2021-01-19 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 03:23, 13 December 2023
- Eilenberg-Moore category of monad generated by functor CpCp 1993-12-05 Paper Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp...10 bytes (18 words) - 04:09, 25 September 2023
- folds for faster functions 2011-01-26 Paper Monad transformers as monoid transformers 2011-01-07 Paper Modular Monad Transformers 2009-03-31 Paper...10 bytes (16 words) - 14:11, 6 October 2023
- SHEAVES 2015-05-08 Paper MONADS FOR FRAMED TORSION-FREE SHEAVES ON MULTI-BLOW-UPS OF THE PROJECTIVE PLANE 2014-04-15 Paper Monad constructions of omalous...10 bytes (18 words) - 19:12, 11 December 2023
- categories 2018-06-07 Paper A general limit lifting theorem for 2-dimensional monad theory 2018-04-12 Paper https://portal.mardi4nfdi.de/entity/Q2953826 2017-01-06...10 bytes (16 words) - 19:04, 13 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4432132 2003-10-14 Paper The monad induced by the hom-functor in the category of topological spaces and its...10 bytes (18 words) - 15:49, 9 December 2023
- adjunction-morphisms and monad-morphisms 1980-01-01 Paper A representation of the category of algebras over different monads by the category of algebras...10 bytes (16 words) - 02:42, 28 December 2023
