Search results
From MaRDI portal
- Publication Date of Publication Type A point-free perspective on lax extensions and predicate liftings 2024-03-05 Paper Kantorovich functors and characteristic...10 bytes (17 words) - 07:56, 9 December 2023
- the patch monad 2022-01-31 Paper Quantifiers on languages and codensity monads 2021-08-16 Paper Quantifiers on languages and codensity monads 2021-01-19...10 bytes (16 words) - 21:21, 8 December 2023
- Publication Date of Publication Type Topologies and free constructions 2015-04-09 Paper Sobriety for equilogical spaces 2014-07-25 Paper Consistency of...10 bytes (16 words) - 15:55, 24 September 2023
- Pseudo-commutative monads and pseudo-closed 2-categories 2002-12-02 Paper On weak higher-dimensional categories. I: Part 3 2002-09-06 Paper Combining a monad and a...10 bytes (18 words) - 16:31, 8 December 2023
- Date of Publication Type Twisted fibrations in M/F-theory 2024-03-20 Paper Free quotients of favorable Calabi-Yau manifolds 2022-12-07 Paper \(\mathbb{P}^1\)-fibrations...10 bytes (19 words) - 17:45, 7 December 2023
- de/entity/Q5079760 2022-05-28 Paper The linear-non-linear substitution 2-monad 2022-01-10 Paper PSPACE-completeness of a thread criterion for circular proofs...10 bytes (16 words) - 09:50, 6 October 2023
- 2020-05-06 Paper The Vietoris monad and weak distributive laws 2020-03-24 Paper Inner automorphisms of groupoids 2019-07-24 Paper Monads and theories 2019-07-10...10 bytes (17 words) - 18:29, 6 October 2023
- Boij-Söderberg theory and invariants of free complexes 2017-09-08 Paper 3264 and All That 2016-04-04 Paper Minimal free resolutions over complete intersections...10 bytes (17 words) - 13:44, 11 December 2023
- Assemblies 2018-02-18 Paper Equilogical spaces and algebras for a double-power monad 2017-12-08 Paper Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator...10 bytes (16 words) - 01:50, 9 December 2023
- statistical experiments in categorical probability 2023-05-23 Paper Free gs-monoidal categories and free Markov categories 2023-05-08 Paper Non-abelian and \(\varepsilon\)-curved...10 bytes (16 words) - 12:12, 7 October 2023
- Mind, via Jeffrey’s or via Pearl’s Update Rule 2019-09-13 Paper Deadlock-free monitors 2019-09-13 Paper Causal Inference by String Diagram Surgery 2018-11-20...10 bytes (17 words) - 15:28, 9 December 2023
- Paper Non-trivial stably free modules over crossed products 2009-12-01 Paper On locally finite modules. 2009-11-24 Paper Monads and comonads on module categories...10 bytes (17 words) - 16:42, 9 December 2023
- 2018-10-18 Paper Efficient parallel and incremental parsing of practical context-free languages 2017-10-23 Paper Generating constrained random data with uniform...10 bytes (17 words) - 11:26, 6 October 2023
- 2019-09-18 Paper Quotienting the delay monad by weak bisimilarity 2018-12-04 Paper Codensity Lifting of Monads and its Dual 2018-11-02 Paper A proof-theoretic...10 bytes (17 words) - 02:57, 25 September 2023
- 2018-09-26 Paper Quantitative Algebraic Reasoning 2018-04-23 Paper Dijkstra monads for free 2017-10-20 Paper https://portal.mardi4nfdi.de/entity/Q2980964 2017-05-08...10 bytes (19 words) - 00:56, 10 December 2023
- enriched categories 2022-05-31 Paper Integral and differential structure on the free $C^{\infty}$-ring modality 2021-04-28 Paper Tangent Categories from the Coalgebras...10 bytes (22 words) - 17:56, 6 October 2023
- Generalised operations in free harmonic analysis 2019-11-29 Paper Types, Codes and TFTs 2018-05-06 Paper (Co)monads in Free Probability Theory 2017-09-09...10 bytes (18 words) - 18:08, 9 December 2023
- de/entity/Q6113366 2023-08-08 Paper Reiterman’s Theorem on Finite Algebras for a Monad 2022-12-08 Paper Coalgebraic semantics for nominal automata 2022-12-07 Paper...10 bytes (16 words) - 00:44, 25 September 2023
- 1980-01-01 Paper A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on 1980-01-01 Paper...10 bytes (19 words) - 16:29, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q5277842 2017-07-12 Paper Contraction-free Proofs and Finitary Games for Linear Logic 2016-05-10 Paper Saturating directed...10 bytes (17 words) - 09:29, 9 December 2023
