Search results
From MaRDI portal
- interval systems andPR-groups 2015-11-30 Paper Double Adjunctions and Free Monads 2014-01-03 Paper Incorporating Voice Permutations into the Theory of Neo-Riemannian...10 bytes (18 words) - 05:44, 12 December 2023
- III: Lifting of monads and adjoint functors 1980-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3887626 1979-01-01 Paper Free monads and the orthogonal...10 bytes (16 words) - 10:04, 24 September 2023
- Paper Double Adjunctions and Free Monads 2014-01-03 Paper Polynomial functors and polynomial monads 2013-01-15 Paper Monads in double categories 2011-04-29...10 bytes (17 words) - 05:44, 12 December 2023
- Paper String diagrams for free monads (functional pearl) 2017-05-10 Paper The coinductive resumption monad 2016-05-13 Paper Monads for behaviour 2016-04-12...10 bytes (16 words) - 08:07, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5275357 2017-07-11 Paper String diagrams for free monads (functional pearl) 2017-05-10 Paper Folding domain-specific languages...10 bytes (16 words) - 03:05, 25 September 2023
- Algebras and M\"obius Inversion 2014-04-11 Paper Double Adjunctions and Free Monads 2014-01-03 Paper Coherence for weak units 2013-04-17 Paper Local fibred...10 bytes (16 words) - 02:20, 10 December 2023
- dependent types 2016-11-30 Paper Free theorems in the presence of seq 2015-11-11 Paper Concatenate, reverse and map vanish for free 2015-10-07 Paper Bidirectionalization...10 bytes (16 words) - 10:58, 6 October 2023
- metric-enriched categories 2020-06-02 Paper Eilenberg Theorems for Free 2020-05-26 Paper How nice are free completions of categories? 2020-04-06 Paper A farewell to...10 bytes (17 words) - 11:43, 8 December 2023
- Positive Fragments of Coalgebraic Logics 2013-09-13 Paper On Rational Monads and Free Iterative Theories 2013-08-16 Paper Final Coalgebras And a Solution...10 bytes (17 words) - 04:09, 25 September 2023
- iterative monads 2005-03-08 Paper On coalgebra based on classes 2004-08-04 Paper Some remarks on finitary and iterative monads 2004-01-06 Paper Free iterative...10 bytes (16 words) - 08:07, 7 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
- figure-figure sequences 2014-08-28 Paper The Free Courant Algebroid 2014-07-28 Paper The Tangent Functor Monad and Foliations 2014-01-05 Paper A generalized...10 bytes (16 words) - 23:22, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q3553225 2010-04-22 Paper Metrization of free groups on ultrametric spaces 2010-03-08 Paper Spaces of idempotent measures...10 bytes (18 words) - 21:21, 9 December 2023
- Paper C-system of a module over a $Jf$-relative monad 2016-01-31 Paper Lawvere theories and Jf-relative monads 2016-01-09 Paper A C-system defined by a universe...10 bytes (18 words) - 18:31, 8 December 2023
- via the open filter monad, revisited 2019-12-15 Paper Algebraic representation of L-valued continuous lattices via the open filter monad 2019-12-07 Paper...10 bytes (17 words) - 23:45, 9 December 2023
- 2015-07-01 Paper Minimal free resolutions of the 𝐺-parking function ideal and the toppling ideal 2015-02-02 Paper Corrigendum: Filtering free resolutions 2014-10-31...10 bytes (19 words) - 15:47, 11 December 2023
- Publication Date of Publication Type Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota–Baxter...10 bytes (18 words) - 11:30, 12 December 2023
- parallel design-space exploration on GPUs 2017-10-23 Paper Adaptive lock-free maps: purely-functional to scalable 2017-05-10 Paper Efficient communication...10 bytes (18 words) - 18:14, 6 October 2023
- on Finite Algebras for a Monad 2022-12-08 Paper An algebraic theory for data linkage 2020-06-08 Paper Eilenberg Theorems for Free 2020-05-26 Paper A Fibrational...10 bytes (18 words) - 00:44, 25 September 2023
- Natural Alternative to Mostowski's (MFL) 1977-01-01 Paper A note on universally free description theory 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5656748...10 bytes (18 words) - 22:55, 12 December 2023
