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

MathPaper:
A semi-model structure for Grothendieck weak 3-groupoids. https://t.co/bRlX3LfJWa

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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

MathPaper:
The codual quotient vector bundle. https://t.co/IyIGJ8grw4

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 17683

Unqiue Words: 1757

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

mathCTbot:
Tunçar Şahan : Derived crossed modules https://t.co/beGffijYES

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 6126

Unqiue Words: 1003

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

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

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 5794

Unqiue Words: 1466

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

MathPaper:
Categorical foundations of variety-based bornology. https://t.co/sMhAqHUXQX

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 7552

Unqiue Words: 1949

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

MathPaper:
Variations of the Shifting Lemma and Goursat categories. https://t.co/bORtt5vt1P

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 3974

Unqiue Words: 1069

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

MathPaper:
Cartesian Double Categories with an Emphasis on Characterizing Spans. https://t.co/ixh10yoQX0

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 34268

Unqiue Words: 3579

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

MathPaper:
An algebraic approach to Harder-Narasimhan filtrations. https://t.co/KzbuFkEZXn

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 15222

Unqiue Words: 2005

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

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 10578

Unqiue Words: 1854

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

MathPaper:
Lifting PIE limits with strict projections. https://t.co/sbAThgFkNN

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 5902

Unqiue Words: 1249

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

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible