Top 10 Arxiv Papers Today in Category Theory


0.0 Mikeys
#1. A semi-model structure for Grothendieck weak 3-groupoids
Edoardo Lanari
In this paper we apply some tools developed in our previous work on Grothendieck $\infty$-groupoids to the finite-dimensional case of weak 3-groupoids. We obtain a semi-model structure on the category of Grothendieck 3-groupoids of suitable type, thanks to the construction of an endofunctor $\mathbb{P}$ that has enough structure to behave like a path object. This makes use of a recognition principle we prove here that characterizes globular theories whose models can be viewed as Grothendieck $n$-groupoids (for $0\leq n \leq \infty$). Finally, we prove that the obstruction in arbitrary dimension (possibly infinite) only resides in the construction of (slightly less than) a path object on a suitable category of Grothendieck (weak) $n$-categories with weak inverses. This also gives a sufficient condition for endowing an $n$-groupoid \`a la Batanin with the structure of a Grothendieck $n$-groupoid.
more | pdf | html
Figures
None.
Tweets
MathPaper: A semi-model structure for Grothendieck weak 3-groupoids. https://t.co/bRlX3LfJWa
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

0.0 Mikeys
#2. The codual quotient vector bundle
João Paulo Santos
Given a quotient vector bundle $\mathcal A$ over $X$ with kernel map $\kappa: X\to\mathrm{Max}\,A$ we study the codual bundle with fiber at each point $x\in X$ isomorphic to the dual of $\kappa(x)$. Applying the adjunction between quotient vector bundles and linearized locales to the codual bundle leads to a new adjunction between the category of all quotient vector bundles and a category whose objects are locales $L$ equipped with a contravariant morphism $L\to\mathrm{Max}\, A$.
more | pdf | html
Figures
None.
Tweets
MathPaper: The codual quotient vector bundle. https://t.co/IyIGJ8grw4
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 17683
Unqiue Words: 1757

0.0 Mikeys
#3. Derived crossed modules
Tunçar Şahan
In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in $\mathsf{C}$. Further, we characterize the derivations of crossed modules in a category $\mathsf{C}$ of groups with operations and obtain new crossed modules using regular derivations of old one.
more | pdf | html
Figures
None.
Tweets
mathCTbot: Tunçar Şahan : Derived crossed modules https://t.co/beGffijYES
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 6126
Unqiue Words: 1003

0.0 Mikeys
#4. Monads, partial evaluations, and rewriting
Tobias Fritz, Paolo Perrone
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an expression partially": for example, "2+3" can be obtained as a partial evaluation of "2+2+1". This construction can be given for all monads on a concrete category, and it is linked to the famous bar construction, of which it gives an operational interpretation: the bar construction is a simplicial set, and its 1-cells are partial evaluations. We study the properties of partial evaluations for general monads. We prove that whenever the monad is weakly cartesian, partial evaluations can be composed via the usual Kan filler property of simplicial sets, of which we give an interpretation in terms of substitution of terms. In terms of rewritings, partial evaluations give an abstract reduction system which is reflexive, confluent, and transitive whenever the monad is weakly cartesian. For the case of probability monads, partial evaluations correspond to...
more | pdf | html
Figures
None.
Tweets
johncarlosbaez: @_julesh_ Yes, this is what Tobias' work seems to be about - "partial evaluation": https://t.co/4syycx4l1h
ComputerPapers: Monads, partial evaluations, and rewriting. https://t.co/h1wa1oC5nj
arxiv_cslo: Monads, partial evaluations, and rewriting https://t.co/61A22HfFC9
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5794
Unqiue Words: 1466

0.0 Mikeys
#5. Categorical foundations of variety-based bornology
Jan Paseka, Sergey A. Solovyov
Following the concept of topological theory of S.~E.~Rodabaugh, this paper introduces a new approach to (lattice-valued) bornology, which is based in bornological theories, and which is called variety-based bornology. In particular, motivated by the notion of topological system of S.~Vickers, we introduce the concept of variety-based bornological system, and show that the category of variety-based bornological spaces is isomorphic to a full reflective subcategory of the category of variety-based bornological systems.
more | pdf | html
Figures
None.
Tweets
MathPaper: Categorical foundations of variety-based bornology. https://t.co/sMhAqHUXQX
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 7552
Unqiue Words: 1949

0.0 Mikeys
#6. Variations of the Shifting Lemma and Goursat categories
Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu
We prove that Mal'tsev and Goursat categories may be characterised through stronger variations of the Shifting Lemma, that is classically expressed in terms of three congruences $R$, $S$ and $T$, and characterises congruence modular varieties. We first show that a regular category is a Mal'tsev category if and only if the Shifting Lemma holds for reflexive relations on the same object in $\mathcal C$. Moreover, we prove that a regular category $\mathcal C$ is a Goursat category if and only if the Shifting Lemma holds for a reflexive relation $S$ and reflexive and positive relations $R$ and $T$ in $\mathcal C$. In particular this provides a new characterisation of $2$-permutable and $3$-permutable varieties and quasi-varieties of universal algebras.
more | pdf | html
Figures
None.
Tweets
MathPaper: Variations of the Shifting Lemma and Goursat categories. https://t.co/bORtt5vt1P
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 3974
Unqiue Words: 1069

0.0 Mikeys
#7. Cartesian Double Categories with an Emphasis on Characterizing Spans
Evangelia Aleiferi
In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us to set the whole theory inside the welcoming 2-category of double categories, and to overcome technical problems that were caused by working with left adjoints inside a general bicategory. Cartesian double categories that are also fibrant are of particular interest to us. After describing some important properties of Cartesian and fibrant double categories, we give a characterization of the double category of Spans as a Cartesian double category. Lastly, we talk about profunctors and give a potential framework for their characterization as Cartesian double categories.
more | pdf | html
Figures
None.
Tweets
MathPaper: Cartesian Double Categories with an Emphasis on Characterizing Spans. https://t.co/ixh10yoQX0
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 34268
Unqiue Words: 3579

0.0 Mikeys
#8. An algebraic approach to Harder-Narasimhan filtrations
Hipolito Treffinger
It is a well-known fact that a stability condition $\phi: Obj^* \mathcal{A} \to \mathcal{I}$ over an abelian length category $\mathcal{A}$ induces a chain of torsion classes $\eta_\phi$ indexed by the totally ordered set $\mathcal{I}$. Inspired by this fact, in this paper we study all chains of torsion classes $\eta$ indexed by a totally ordered set $\mathcal{I}$ in $\mathcal{A}$. Our first theorem says that every chain of torsion classes $\eta$ indexed by $\mathcal{I}$ induces a Harder-Narasimhan filtration to every nonzero object of $\mathcal{A}$. Building on this, we are able to generalise several of the results showed by Rudakov in \cite{Rudakov1997}. Moreover we adapt the definition of slicing introduced by Bridgeland in \cite{Bridgeland2007} and we characterise them in terms of indexed chain of torsion classes. Finally, we follow ideas of Bridgeland to show that all chains of torsion classes of $\mathcal{A}$ indexed by the set $[0,1]$ form a metric space with a natural wall and chamber structure. Moreover we show a one...
more | pdf | html
Figures
None.
Tweets
MathPaper: An algebraic approach to Harder-Narasimhan filtrations. https://t.co/KzbuFkEZXn
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 15222
Unqiue Words: 2005

0.0 Mikeys
#9. Enriched diagrams of topological spaces over locally contractible enriched categories
Philippe Gaucher
It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model structure of topological spaces. We give a geometric interpretation of this fact in directed homotopy.
more | pdf | html
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 10578
Unqiue Words: 1854

0.0 Mikeys
#10. Lifting PIE limits with strict projections
Martin Szyld
We give a unified direct proof of the lifting of PIE limits to the 2-category of algebras and (pseudo) morphisms, which specifies precisely which of the projections of the lifted limit are strict and detect strictness. In the literature, these limits were lifted one by one, so as to keep track of these projections in each case. We work in the more general context of weak algebra morphisms, so as to include lax morphisms as well. PIE limits are also all simultaneously lifted in this case, provided some specified arrows of the diagram are pseudo morphisms. Again, this unifies the previously known lifting of many particular PIE limits, which were also treated separately.
more | pdf | html
Figures
None.
Tweets
MathPaper: Lifting PIE limits with strict projections. https://t.co/sbAThgFkNN
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 5902
Unqiue Words: 1249

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 72,995 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 72,995 papers.