相关论文: A Potential Definition of Weak $\omega$-Category

Weakly Schreier split extensions are a reasonably large, yet well-understood class of monoid extensions, which generalise some aspects of split extensions of groups. This short note provides a way to define and study similar classes of…

The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

We introduce a dependent type theory whose models are weak {\omega}-categories, generalizing Brunerie's definition of {\omega}-groupoids. Our type theory is based on the definition of {\omega}-categories given by Maltsiniotis, himself…

We extend the weak-strong uniqueness principle to general models of compressible viscous fluids near/on the vacuum. In particular, the physically relevant case of positive density with polynomial decay at infinity is considered.

We introduce the notion of weakly associative algebra and its relations with the notion of nonassociative Poisson algebras.

We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively. After recalling the notion of presentation of a monoidal category by the means of…

In this paper, we study infinite-dimensional Lagrangian systems where the potential functions are periodic, rearrangement invariant and weakly upper semicontinuous. And we prove that there exists a calibrated curve for every $M\in…

We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable…

There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair…

We show that the category of comodules over a coassociative coalgebra in a complete, cocomplete and well-powered category has limits and colimits under additional assumptions.

We consider a definition of a weakly convex set which is a generalization of the notion of a weakly convex set in the sense of Vial and a proximally smooth set in the sense of Clarke, from the case of the Hilbert space to a class of Banach…

Weak-type quasi-norms are defined using the mean oscillation or the mean of a function on dyadic cubes, providing discrete analogues and variants of the corresponding quasi-norms on the upper half-space previously considered in the…

This is a reminder that an infinite series can be defined other than as the limit of a sequence of finite series. An example is provided in which a circuit element comprised of an infinite series of resistors has negative resistance.

We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the…

We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of…

In this paper, we give the definition of {\em weakly locally finite} division rings and we show that the class of these rings strictly contains the class of locally finite division rings. Further, we study multiplicative subgroups in these…

We define weak $Z(q)$, a generalization of $Z(q)$ on bounded domains $\Omega$ in a Stein manifold $M^n$ that suffices to prove closed range of $\bar\partial$. Under the hypothesis of weak $Z(q)$, we also show (i) that harmonic $(0,q)$-forms…

It is argued that a weak value of an observable is a robust property of a single pre- and post-selected quantum system rather than a statistical property. During an infinitesimal time a system with a given weak value affects other systems…

A singularity is said to be weakly-exceptional if it has a unique purely log terminal blow up. This is a natural generalization of the surface singularities of types $D_{n}$, $E_{6}$, $E_{7}$ and $E_{8}$. Since this idea was introduced,…