Search results
From MaRDI portal
- Interaction Laws of Monads and Comonads 2021-01-21 Paper A coalgebraic view on reachability 2020-03-06 Paper Path category for free. Open morphisms from...10 bytes (18 words) - 19:10, 24 September 2023
- Artinian Gorenstein algebras that are free extensions over ${\sf k}[t/(t^n)$, and Macaulay duality] 2018-07-08 Paper Monads on projective varieties 2018-05-23...10 bytes (18 words) - 05:49, 7 October 2023
- structure on free Rota-Baxter algebras by angularly decorated rooted trees 2022-05-23 Paper Left counital Hopf algebra structures on free commutative Nijenhuis...10 bytes (16 words) - 19:08, 6 October 2023
- Presentations and algebraic colimits of enriched monads for a subcategory of arities 2023-01-27 Paper Isotropy groups of free racks and quandles 2022-08-29 Paper Extensivity...10 bytes (17 words) - 01:33, 25 September 2023
- Multitensors as monads on categories of enriched graphs 2013-11-05 Paper Free Products of Higher Operad Algebras 2013-09-04 Paper Monads with arities and...10 bytes (16 words) - 11:23, 7 October 2023
- bifibrations of model categories 2020-06-15 Paper An explicit formula for the free exponential modality of linear logic 2018-08-07 Paper Categorical combinatorics...10 bytes (18 words) - 00:44, 25 September 2023
- 2010-04-20 Paper Note on the construction of free monoids 2010-03-09 Paper Homotopy-theoretic aspects of 2-monads 2010-02-17 Paper A 2-Categories Companion...10 bytes (17 words) - 22:06, 24 September 2023
- commutative rings 1997-03-25 Paper Modularity and descent 1996-07-01 Paper Some free constructions in realizability and proof theory 1996-06-19 Paper Connected...10 bytes (17 words) - 23:54, 8 December 2023
- expanded complete 2-graphs 2013-04-17 Paper The maximum number of K 3 -free and K 4 -free edge 4-colorings 2012-06-08 Paper Logical complexity of graphs: a...10 bytes (16 words) - 09:20, 25 September 2023
- 1998-10-22 Paper https://portal.mardi4nfdi.de/entity/Q4370216 1998-09-08 Paper Monad as modality 1998-07-23 Paper FAMILIES OF NONCOUNTING LANGUAGES AND THEIR...10 bytes (16 words) - 01:49, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q5275345 2017-07-11 Paper Contraction-free Proofs and Finitary Games for Linear Logic 2016-05-10 Paper Saturating directed...10 bytes (16 words) - 03:32, 25 September 2023
- Paper Free-lattice functors weakly preserve epi-pullbacks 2022-05-10 Paper Free-lattice functors weakly preserve epi-pullbacks 2021-03-17 Paper Free-algebra...10 bytes (18 words) - 01:40, 9 December 2023
- Type A Fibrational Account of Local States 2018-04-23 Paper Dijkstra monads for free 2017-10-20 Paper...10 bytes (16 words) - 12:27, 14 March 2024
- property of bispans 2023-10-02 Paper Free algebras through Day convolution 2023-03-02 Paper ∞-Operads as Analytic Monads 2022-08-19 Paper \(\infty\)-operads...10 bytes (17 words) - 03:48, 7 October 2023
- Publication Date of Publication Type A point-free perspective on lax extensions and predicate liftings 2024-03-05 Paper https://portal.mardi4nfdi.de/entity/Q6061674...10 bytes (17 words) - 16:53, 24 September 2023
- Paper Confluence in probabilistic rewriting 2019-11-12 Paper Dijkstra monads for free 2017-10-20 Paper...10 bytes (16 words) - 09:23, 25 September 2023
- automation with SMT, tactics, and metaprograms 2023-11-24 Paper Dijkstra monads for free 2017-10-20 Paper Type Soundness and Race Freedom for Mezzo 2014-07-24...10 bytes (16 words) - 21:49, 26 December 2023
- de/entity/Q3952280 1982-01-01 Paper Injective uniform structures 1981-01-01 Paper Free finitary algebras on compactly generated spaces 1981-01-01 Paper Universal...10 bytes (18 words) - 04:02, 13 December 2023
- de/entity/Q2851317 2013-10-10 Paper Comparing approaches to free dcpo-algebra constructions 2013-01-18 Paper Comparing free algebras in topological and classical domain...10 bytes (16 words) - 08:13, 7 October 2023
- 2005-11-02 Paper Polar spaces embedded in projective spaces 2005-09-16 Paper Free modules over Cartesian closed topological categories 2005-08-05 Paper Cartesian...10 bytes (18 words) - 03:31, 7 October 2023
