相关论文: A Potential Definition of Weak $\omega$-Category
A complex potential is a holomorphic function $\Omega:\mathbb{C} \to \mathbb{C}$ whose real and imaginary parts generate a pair of orthogonal foliations, representing the equipotential lines and the streamlines of $\dot{z} =…
The outcome of a weak quantum measurement conditioned to a subsequent postselection (a weak value protocol) can assume peculiar values. These results cannot be explained in terms of conditional probabilistic outcomes of projective…
We define unbounded twisted complexes and bicomplexes generalising the notion of a (bounded) twisted complex over a DG category [BK90]. These need to be considered relative to another DG category $B$ admitting countable direct sums and…
We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…
Weak supersolutions to the porous medium equation are defined by means of smooth test functions under an integral sign. We show that nonnegative weak supersolutions become lower semicontinuous after redefinition on a set of measure zero.…
We introduce the notion of a weakly reflective submanifold, which is an austere submanifold with a certain global condition, and study its fundamental properties. Using these, we determine weakly reflective orbits and austere orbits of…
The notion of weak measurement provides a formalism for extracting information from a quantum system in the limit of vanishing disturbance to its state. Here we extend this formalism to the measurement of sequences of observables. When…
We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…
All rational semisimple braided tensor categories are representation categories of weak quasi Hopf algebras. To proof this result we construct for any given category of this kind a weak quasi tensor functor to the category of finite…
Strong Steiner $\omega$-categories are a class of $\omega$-categories that admit algebraic models in the form of chain complexes, whose formalism allows for several explicit computations. The conditions defining strong Steiner…
A vector bundle whose projectivization becomes a weak Fano variety is called a weak Fano bundle. We present classification results for rank 2 weak Fano bundles on higher-dimensional quadrics $Q^n$ of dimension $\ge 5$.
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra…
A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…
We say that the weak width of an infinite subgroup $H$ of $G$ in $G$ is $n$ if there exists a collection of $n$ strongly essentially distinct conjugates $\{ H, g_1^{-1} H g_1,\cdots, g_{n-1}^{-1} H g_{n-1} \}$ of $H$ in $G$ such that the…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
In quantum theory, a weak value is a complex number with a somewhat technical definition: it is a ratio whose numerator is the matrix element of a self-adjoint operator and whose denominator is the inner product of a corresponding pair of…
Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…
We extend the definition of quasi-finite complexes by considering not necessarily countable complexes. We provide a characterization of quasi-finite complexes in terms of L-invertible maps and dimensional properties of compactifications.…
Quillen defined a {\em model category} to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and coproducts (in addition to the certain extra structure alluded…
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to…