Top 10 Arxiv Papers Today in Category Theory


2.001 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 19800
Unqiue Words: 3393

0.0 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 14466
Unqiue Words: 2477

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

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

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 24246
Unqiue Words: 3125

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

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 12549
Unqiue Words: 2316

0.0 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9932
Unqiue Words: 1929

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 6107
Unqiue Words: 1148

0.0 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 6266
Unqiue Words: 1120

About

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
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 58,338 papers.