Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Don't Try This at Home: No-Go Theorems for Distributive Laws

From MaRDI portal
Publication:6309811
Jump to:navigation, search

arXiv1811.06460MaRDI QIDQ6309811

Maaike Zwart, Dan Marsden

Publication date: 15 November 2018




Has companion code repository: https://github.com/hmillerbakewell/composite-theory-disprover


Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)








This page was built for publication: Don't Try This at Home: No-Go Theorems for Distributive Laws

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6309811&oldid=35896076"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 10 July 2024, at 09:33.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki