Related papers: A Potential Definition of Weak $\omega$-Category
We consider finite-dimensional real vector spaces $X$ ordered by a closed cone $X_+$ with non-empty interior and study eventual nonnegativity of matrix semigroups $(e^{tA})_{t \ge 0}$ with respect to this cone. Our first contribution is the…
A so called 'weak value' of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM…
We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
Weak coalgebra-Galois extensions are studied. A notion of an invertible weak entwining structure is introduced. It is proven that, within an invertible weak entwining structure, the surjectivity of the canonical map implies bijectivity…
In this article, we investigate the existence of joins in the weak order of an infinite Coxeter group W. We give a geometric characterization of the existence of a join for a subset X in W in terms of the inversion sets of its elements and…
This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new homology language, which captures the overall independence…
We define the zeta function of a finite category. And we propose a conjecture which states the relationship between the Euler characteristic of finite categories and the zeta function of finite categories. This conjecture is verified when…
We classify the thick subcategories of an algebraic triangulated standard category with finitely many indecomposable objects.
In this survey article we propose the notion of a bound quiver for an exact category generalising the classical concept of the Gabriel quiver and its relation for a module category as certain ring extension. The notion is motivated by joint…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left…
We give an alternative presentation of the ordinal notation at the strength of $\Pi^1_1-CA_0$ which allows the "uncountable" notation $\Omega$ to be interpreted "polymorphically" - that is, we allow the notation to be interpreted as…
Several characterizations of weak cotype 2 and weak Hilbert spaces are given in terms of basis constants and other structural invariants of Banach spaces. For finite-dimensional spaces, characterizations depending on subspaces of fixed…
We propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category of presheaves of simplicial sets on Joyal's…
We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples,…
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free…
We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated…
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects…
We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can…