Top 4 Arxiv Papers Today in Category Theory


2.012 Mikeys
#1. A new Galois structure in the category of internal preorders
Alberto Facchini, Carmelo Finocchiaro, Marino Gran
Let $\mathsf{PreOrd}(\mathbb C)$ be the category of internal preorders in an exact category $\mathbb C$. We show that the pair $(\mathsf{Eq}(\mathbb C), \mathsf{ParOrd}(\mathbb C))$ is a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$, where $\mathsf{Eq}(\mathbb C)$ and $\mathsf{ParOrd}(\mathbb C)$) are the full subcategories of internal equivalence relations and of internal partial orders in $\mathbb C$, respectively. We observe that $\mathsf{ParOrd}(\mathbb C)$ is a reflective subcategory of $\mathsf{PreOrd}(\mathbb C)$ such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector $F:\mathsf{PreOrd}(\mathbb C)\to \mathsf{ParOrd}(\mathbb C)$ turns out to have stable units in the sense of Cassidy, H\'ebert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when $\mathbb C$ is the category $\mathsf{Set}$ of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Par\'e)...
more | pdf | html
Figures
None.
Tweets
mathCTbot: Alberto Facchini, Carmelo Finocchiaro, Marino Gran : A new Galois structure in the category of internal preorders https://t.co/Gbc8GTYmcm https://t.co/KWXYrvxz13
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

2.002 Mikeys
#2. Path categories and quasi-categories
J. F. Jardine
This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory.
more | pdf | html
Figures
None.
Tweets
mathCTbot: J.F. Jardine : Path categories and quasi-categories https://t.co/M2O96s9V7H https://t.co/xNYuJhVyyD
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

1.999 Mikeys
#3. Enriched categories and tropical mathematics
Soichiro Fujii
We point out a connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both fields. We first survey standard category-theoretic constructions on matrices, namely composition, right extension, right lifting and the Isbell hull. Along the way, we also review some known reformulations of such notions as tropical polytopes, directed tight spans and the Legendre--Fenchel transform by means of these constructions, illustrating their ubiquity in tropical mathematics and related fields. We then focus on complete semimodules over a quantale $\mathcal{Q}$, or equivalently skeletal and complete $\mathcal{Q}$-categories, and show that they are precisely the injective objects with respect to fully faithful $\mathcal{Q}$-functors among $\mathcal{Q}$-categories. With the aim to bridge a gap between enriched category theory and tropical mathematics, we assume no knowledge in either field.
more | pdf | html
Figures
None.
Tweets
mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
piano2683: RT @mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
t_uemura669101: RT @mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
yf0fyf: RT @mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
komorin9502: RT @mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
ghasshee: RT @mathCTbot: Soichiro Fujii : Enriched categories and tropical mathematics https://t.co/rRUhQbOEMW https://t.co/NMaYgFTYF8
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

1.997 Mikeys
#4. Representable diagrammatic sets as a model of weak higher categories
Amar Hadzihasanovic
Developing an idea of Kapranov and Voevodsky, we introduce a model of weak omega-categories based on directed complexes, combinatorial presentations of pasting diagrams. We propose this as a convenient framework for higher-dimensional rewriting. We define diagrammatic sets to be presheaves on a category of directed complexes presenting pasting diagrams with spherical boundaries. Diagrammatic sets have structural face and degeneracy operations, but no structural composition. We define a notion of equivalence cell in a diagrammatic set, and say that a diagrammatic set is representable if all pasting diagrams with spherical boundaries are connected to individual cells -- their weak composites -- by a higher-dimensional equivalence cell. We develop the basic theory of representable diagrammatic sets (RDSs), and prove that equivalence cells satisfy the expected properties in an RDS. We study nerves of strict omega-categories as RDSs and prove that 2-truncated RDSs are equivalent to bicategories. Finally, we connect the...
more | pdf | html
Figures
None.
Tweets
mathCTbot: Amar Hadzihasanovic : Representable diagrammatic sets as a model of weak higher categories https://t.co/ZDDTH4vuXE https://t.co/08RdV0HMGx
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 37066
Unqiue Words: 4493

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 192,930 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 192,930 papers.