No-go theorems for distributive laws

No-go theorems for distributive laws

Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone. The literature contains some principles for constructing distributive laws. However, until now there have been n...

Full description

Bibliographic Details
Main Authors:	Zwart, M, Marsden, D
Format:	Conference item
Published:	IEEE 2019

Similar Items

No-Go Theorems for Distributive Laws
by: Maaike Zwart, et al.
Published: (2022-01-01)

No-Go theorems and quantization
by: Zainuddin, Hishamuddin, et al.
Published: (2007)

Causality and no-go theorems
by: Paolo Casella, et al.
Published: (2023-12-01)

On the non-compositionality of monads via distributive laws
by: Zwart, M
Published: (2020)

Parity violation in the scalar trispectrum: no-go theorems and yes-go examples
by: Giovanni Cabass, et al.
Published: (2023-02-01)

A no-go theorem for derandomized parallel repetition
by: Ramnarayan, Govind
Published: (2016)

No-go theorem for Gaussian quantum error correction
by: Niset, Julien, et al.
Published: (2011)

Mathematical Formulation of the No-Go Theorem in Horndeski Theory
by: Sergey Mironov
Published: (2019-02-01)

Laws and Theorems of Electronics /
by: Conyers, Lillie, author 648149, et al.
Published: (2012)

No-go theorem for device-independent security in relativistic causal theories
by: R. Salazar, et al.
Published: (2021-08-01)

No−go theorems for functorial localic spectra of noncommutative rings
by: van den Berg, B, et al.
Published: (2011)

Composition rules for quantum processes: a no-go theorem
by: Philippe Allard Guérin, et al.
Published: (2019-01-01)

A possibilistic no-go theorem on the Wigner’s friend paradox
by: Marwan Haddara, et al.
Published: (2023-01-01)

Strong no-go theorem for Gaussian quantum bit commitment
by: Magnin, Loick, et al.
Published: (2011)

A no-go theorem on the nature of the gravitational field beyond quantum theory
by: Thomas D. Galley, et al.
Published: (2022-08-01)

Knot topology of exceptional point and non-Hermitian no-go theorem
by: Haiping Hu, et al.
Published: (2022-06-01)

The inheritance of energy conditions: Revisiting no-go theorems in string compactifications
by: Heliudson Bernardo, Suddhasattwa Brahma, Mir Mehedi Faruk
Published: (2023-12-01)

No-go theorems for photon state transformations in quantum linear optics
by: Pablo V. Parellada, et al.
Published: (2023-11-01)

No-go theorem for boson condensation in topologically ordered quantum liquids
by: Titus Neupert, et al.
Published: (2016-01-01)

Beating no-go theorems by engineering defects in quantum spin models
by: Debasis Sadhukhan, et al.
Published: (2015-01-01)

No-go theorem and a universal decomposition strategy for quantum channel compilation
by: Weiyuan Gong, et al.
Published: (2023-01-01)

Time-dependent compactification to de Sitter space: a no-go theorem
by: J. G. Russo, et al.
Published: (2019-06-01)

On an majorization theorem in multivariate distributions /
by: 295797 Chong, Kong-Ming
Published: (1980)

Sharpening the second law of thermodynamics with the quantum Bayes theorem
by: Gharibyan, Hrant, et al.
Published: (2014)

No-go theorem for one-way quantum computing on naturally occurring two-level systems
by: Chen, Jianxin, et al.
Published: (2011)

No-go theorems on localization of gravity around higher codimensional branes in noncompact extra dimensions
by: Li, Shing Y.
Published: (2021)

Dilaton in scalar QFT: a no-go theorem in 4-epsilon and 3-epsilon dimensions
by: Daniel Nogradi, Balint Ozsvath
Published: (2022-05-01)

Will it all go wrong? Sod's law and medicine
by: Hope, T, et al.
Published: (2009)

A "thoughtful" Local Friendliness no-go theorem: a prospective experiment with new assumptions to suit
by: Howard M. Wiseman, et al.
Published: (2023-09-01)

Prediction of Henry's Law Constants on the Basis of the Corresponding States Theorem
by: V.V. Kutarov, et al.
Published: (2004-06-01)

The potential distribution theorem and models of molecular solutions /
by: Beck, Thomas L., et al.
Published: (2006)

A Central Limit Theorem for Predictive Distributions
by: Patrizia Berti, et al.
Published: (2021-12-01)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

Distributed PCP Theorems for Hardness of Approximation in P
by: Abboud, Amir, et al.
Published: (2021)

Experimental quantum key distribution certified by Bell's theorem
by: Nadlinger, DP, et al.
Published: (2022)

Law of Large Numbers, Central Limit Theorem, and Law of the Iterated Logarithm for Bernoulli Uncertain Sequence
by: Ziyi Qu, et al.
Published: (2022-08-01)

Multi‐Fold Fan‐Shape Surface State Induced by an Isolated Weyl Phonon Beyond No‐Go Theorem
by: Hua‐Hua Fu, et al.
Published: (2023-06-01)

Linnik’s theorem for Sato-Tate laws on elliptic curves with complex multiplication
by: Park, Peter S., et al.
Published: (2017)

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
by: Ne Win, Toh, et al.
Published: (2023)

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
by: Embree, M, et al.
Published: (2000)