Beck's distributive laws provide sufficient conditions under which two monads
can be composed, and monads arising from distributive laws have many desirable
theoretical properties. Unfortunately, finding and verifying distributive laws,
or establishing if one even exists, can be extremely difficult and error-prone.
We develop general-purpose techniques for showing when there can be no
distributive law between two monads. Two approaches are presented. The first
widely generalizes ideas from a counterexample attributed to Plotkin, yielding
general-purpose theorems that recover the previously known situations in which
no distributive law can exist. Our second approach is entirely novel,
encompassing new practical situations beyond our generalization of Plotkin's
approach. It negatively resolves the open question of whether the list monad
distributes over itself.
Our approach adopts an algebraic perspective throughout, exploiting a
syntactic characterization of distributive laws. This approach is key to
generalizing beyond what...

more |
pdf
| html
None.

_julesh_:
Today Maaike Zwart and Dan Marsden dropped their paper, "Don't try this at home: No-go theorems for distributive laws". I haven't read it yet, but from the parts of it I've heard I expect this to be a big step forward in understanding how monads compose
https://t.co/m3Ug7SQKd3

mathCTbot:
Maaike Zwart, Dan Marsden : Don't Try This at Home: No-Go Theorems for Distributive Laws https://t.co/SIBhtBalnT https://t.co/3vRmdxYMZs

mathCTbot:
Maaike Zwart, Dan Marsden : Don't Try This at Home: No-Go Theorems for Distributive Laws https://t.co/SIBhtBalnT https://t.co/3vRmdxYMZs

MathPaper:
Don't Try This at Home: No-Go Theorems for Distributive Laws. https://t.co/6vHoTt3GXl

arxiv_cslo:
Don't Try This at Home: No-Go Theorems for Distributive Laws https://t.co/FPr3no4b1d

arxiv_cslo:
Don't Try This at Home: No-Go Theorems for Distributive Laws https://t.co/FPr3no4b1d

arxiv_cslo:
Don't Try This at Home: No-Go Theorems for Distributive Laws https://t.co/FPr3nolMpN

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 19800

Unqiue Words: 3393

In this article, we introduce a new cohomology theory associated to a Lie
2-algebras. This cohomology theory is shown to extend the classical cohomology
theory of Lie algebras; in particular, we show that the second cohomology group
classifies an appropriate type of extensions.

more |
pdf
| html
None.

mathCTbot:
Camilo Angulo : A cohomology theory for Lie 2-algebras https://t.co/KASswJQkyD https://t.co/vB4jCyXPpP

MathPaper:
A cohomology theory for Lie 2-algebras. https://t.co/M5iCd024uO

cpmatthews1985:
RT @MathPaper: A cohomology theory for Lie 2-algebras. https://t.co/M5iCd024uO

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 14466

Unqiue Words: 2477

We prove that the category of cocommutative Hopf algebras over a field is a
semi-abelian category. This result extends a previous special case of it, based
on the Milnor-Moore theorem, where the field was assumed to have zero
characteristic. From this it follows that the category of cocommutative Hopf
algebras over a field is also action representable. We make some new
observations concerning the categorical commutator of normal Hopf subalgebras,
and this leads to the proof that two definitions of crossed modules of
cocommutative Hopf algebras are equivalent in this context.

more |
pdf
| html
None.

mathCTbot:
Marino Gran, Florence Sterck, Joost Vercruysse : A semi-abelian extension of a theorem by Takeuchi https://t.co/q4SAhHMMYM

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 8879

Unqiue Words: 1907

We prove that, under a mild assumption, the heart H of a twin cotorsion pair
((S,T),(U,V)) on a triangulated category C is a quasi-abelian category. If C is
also Krull-Schmidt and T=U, we show that the heart of the cotorsion pair (S,T)
is equivalent to the Gabriel-Zisman localisation of H at the class of its
regular morphisms.
In particular, suppose C is a cluster category with a rigid object R and
[X_R] the ideal of morphisms factoring through X_R=Ker(Hom(R,-)), then
applications of our results show that C/[X_R] is a quasi-abelian category. We
also obtain a new proof of an equivalence between the localisation of this
category at its class of regular morphisms and a certain subfactor category of
C.

more |
pdf
| html
None.

MathPaper:
Quasi-abelian hearts of twin cotorsion pairs on triangulated categories. https://t.co/KO88WjVZxg

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 10713

Unqiue Words: 1879

We continue the program of structural differential geometry that begins with
the notion of a tangent category, an axiomatization of structural aspects of
the tangent functor on the category of smooth manifolds. In classical geometry,
having an affine structure on a manifold is equivalent to having a flat
torsion-free connection on its tangent bundle. This equivalence allows us to
define a category of affine objects associated to a tangent category and we
show that the resulting category is also a tangent category, as are several
related categories. As a consequence of some of these ideas we also give two
new characterizations of flat torsion-free connections.
We also consider 2-categorical structure associated to the category of
tangent categories and demonstrate that assignment of the tangent category of
affine objects to a tangent category induces a 2-comonad.
Finally, following work of Jubin, we consider monads and comonads on the
category of affine objects associated to a tangent category. We show that there
is a rich...

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 24246

Unqiue Words: 3125

We give a general technique for constructing a functorial choice of very good
paths objects, which can be used to implement identity types in models of type
theories in direct manner with little reliance on general coherence results. We
give a simple proof that applies in algebraic model structures that possess a
notion of structured weak equivalence, in a sense that we define here. We then
give a more direct proof that applies both to the original BCH cubical set
model and more recent variants. We give an explanation how this construction
relates to the one used in the CCHM cubical set model of type theory.

more |
pdf
| html
None.

MathPaper:
Identity Types in Algebraic Model Structures and Cubical Sets. https://t.co/jkCDykpMlT

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 12907

Unqiue Words: 2101

The aim of this article is to better understand the correspondence between
$n$-cubic extensions and $3^n$-diagrams, which may be seen as non-abelian
Yoneda extensions, useful in (co)homology of non-abelian algebraic structures.
We study a higher-dimensional version of the coequaliser/kernel pair
adjunction, which relates $n$-fold reflexive graphs with $n$-fold arrows in any
exact Mal'tsev category. We first ask ourselves how this adjunction restricts
to an equivalence of categories. This leads to the concept of an effective
$n$-fold equivalence relation, corresponding to the $n$-fold regular
epimorphisms. We characterise those in terms of what (when $n=2$) Bourn calls
parallelistic $n$-fold equivalence relations. We then further restrict the
equivalence, with the aim of characterising the $n$-cubic extensions. We find a
congruence distributivity condition, resulting in a denormalised $3^n$-Lemma
valid in exact Mal'tsev categories. We deduce a $3^n$-Lemma for short exact
sequences in semi-abelian categories, which involves a...

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 12549

Unqiue Words: 2316

The reachability semantics for Petri nets can be studied using open Petri
nets. For us an 'open' Petri net is one with certain places designated as
inputs and outputs via a cospan of sets. We can compose open Petri nets by
gluing the outputs of one to the inputs of another. Open Petri nets can be
treated as morphisms of a category, which becomes symmetric monoidal under
disjoint union. However, since the composite of open Petri nets is defined only
up to isomorphism, it is better to treat them as morphisms of a symmetric
monoidal double category $\mathbb{O}\mathbf{pen}(\mathrm{Petri})$. Various
choices of semantics for open Petri nets can be described using symmetric
monoidal double functors out of $\mathbb{O}\mathbf{pen}(\mathrm{Petri})$. Here
we describe the reachability semantics, which assigns to each open Petri net
the relation saying which markings of the outputs can be obtained from a given
marking of the inputs via a sequence of transitions. We show this semantics
gives a symmetric monoidal lax double functor...

more |
pdf
| html
None.

M157q_News_RSS:
Open Petri Nets. (arXiv:1808.05415v1 [math.CT])
https://t.co/KsFcQZmyVK
The reachability semantics for Petri nets can be studied using open

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 9932

Unqiue Words: 1929

Let $\mathcal T$ be a well generated triangulated category, and let
$S\subset\mathcal T$ be a set of objects. We prove that there is a t-structure
on $\mathcal T$ with ${\mathcal T}^{\leq0}=\overline{\langle
S\rangle}^{(-\infty,0]}$.
This article is an improvement on the main result of a 2003 article by
Alonso, Jeremias and Souto---in that article the theorem was proved under the
assumption that $\mathcal T$ has a nice enough model. It should be mentioned
that the theorem of Alonso, Jeremias and Souto has been influential---it turns
out to be interesting to study all of these t-structures.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 6107

Unqiue Words: 1148

The Noether isomorphism theorems and the Zassenhaus Lemma from group theory
have a non-pointed version in a suitable categorical context first considered
by W. Tholen in his PhD thesis. This article leads to a unification of these
results with the ones in the pointed categorical context considered by O.
Wyler, by working in the framework of star-regular categories introduced by M.
Gran, Z. Janelidze and A. Ursini.

more |
pdf
| html
None.

mathCTbot:
Olivette Ngaha Ngaha : The Zassenhaus lemma in star-regular categories https://t.co/gwoRFwDzYY https://t.co/Y833ihi6Mk

MathPaper:
The Zassenhaus lemma in star-regular categories. https://t.co/NhNjzXb3sM

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 6266

Unqiue Words: 1120

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

*Tracking 58,338 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible