### Top 4 Arxiv Papers Today in Category Theory

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

##### #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
None.
###### Tweets
mathCTbot: J.F. Jardine : Path categories and quasi-categories https://t.co/M2O96s9V7H https://t.co/xNYuJhVyyD
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #4. Representable diagrammatic sets as a model of weak higher categories
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
None.
###### Tweets
mathCTbot: Amar Hadzihasanovic : Representable diagrammatic sets as a model of weak higher categories https://t.co/ZDDTH4vuXE https://t.co/08RdV0HMGx
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 37066
Unqiue Words: 4493

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
Online
###### Stats
Tracking 192,930 papers.