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.

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.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

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.

mathCTbot:
J.F. Jardine : Path categories and quasi-categories https://t.co/M2O96s9V7H https://t.co/xNYuJhVyyD

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathCTbot:
Amar Hadzihasanovic : Representable diagrammatic sets as a model of weak higher categories https://t.co/ZDDTH4vuXE https://t.co/08RdV0HMGx

None.

None.

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.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible