### Top 10 Arxiv Papers Today in Category Theory

##### #1. Don't Try This at Home: No-Go Theorems for Distributive Laws
###### Maaike Zwart, Dan Marsden
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.
###### Tweets
_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.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 19800
Unqiue Words: 3393

##### #2. A cohomology theory for Lie 2-algebras
###### Camilo Angulo
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 14466
Unqiue Words: 2477

##### #3. A semi-abelian extension of a theorem by Takeuchi
###### Marino Gran, Florence Sterck, Joost Vercruysse
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.
###### Tweets
mathCTbot: Marino Gran, Florence Sterck, Joost Vercruysse : A semi-abelian extension of a theorem by Takeuchi https://t.co/q4SAhHMMYM
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 8879
Unqiue Words: 1907

##### #4. Quasi-abelian hearts of twin cotorsion pairs on triangulated categories
###### Amit Shah
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.
###### Tweets
MathPaper: Quasi-abelian hearts of twin cotorsion pairs on triangulated categories. https://t.co/KO88WjVZxg
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 10713
Unqiue Words: 1879

##### #5. Affine geometric spaces in tangent categories
###### R. F. Blute, G. S. H. Cruttwell, R. B. B. Lucyshyn-Wright
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.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 24246
Unqiue Words: 3125

##### #6. Identity Types in Algebraic Model Structures and Cubical Sets
###### Andrew Swan
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.
###### Tweets
MathPaper: Identity Types in Algebraic Model Structures and Cubical Sets. https://t.co/jkCDykpMlT
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 12907
Unqiue Words: 2101

##### #7. Higher extensions in exact Mal'tsev categories: distributivity of congruences and the $3^n$-Lemma
###### Cyrille Sandry Simeu, Tim Van der Linden
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.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 12549
Unqiue Words: 2316

##### #8. Open Petri Nets
###### John C. Baez, Jade Master
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9932
Unqiue Words: 1929

##### #9. The t-structures generated by objects
###### Amnon Neeman
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 6107
Unqiue Words: 1148

##### #10. The Zassenhaus lemma in star-regular categories
###### Olivette Ngaha Ngaha
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.
###### Tweets
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.
###### Other stats
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.

###### Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
###### Stats
Tracking 58,338 papers.