Related papers: Commutative Quantale and Localization

Given a functor $T:C \to D$ carrying a class of morphisms $S\subset C$ into a class $S'\subset D$, we give sufficient conditions in order that $T$ induces an equivalence on the localised categories. These conditions are in the spirit of…

Quivers (directed graphs) and species (a generalization of quivers) and their representations play a key role in many areas of mathematics including combinatorics, geometry, and algebra. Their importance is especially apparent in their…

Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at…

In this article, we introduce a lattice congruence with respect to a nonempty ideal $I$ of a distributive lattice $L$ and a derivation $d$ on $L$ denoted by $\theta_I^d$. We investigate some necessary and sufficient conditions for the…

In this paper, we develop a quantitative K-theory for filtered C*-algebras. Particularly interesting examples of filtered C*-algebras include group C*-algebras, crossed product C*-algebras and Roe algebras. We prove a quantitative version…

We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and…

For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall…

By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric…

We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight…

We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., "large") metric…

We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.

If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard…

We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales. This provides a global framework for the…

The purpose of this paper is to make the theory of vertex algebras trivial. We do this by setting up some categorical machinery so that vertex algebras are just ``singular commutative rings'' in a certain category. This makes it easy to…

We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…

The concept of quantization consists in replacing commutative quantities by noncommutative ones. In mathematical language an algebra of continuous functions on a locally compact topological space is replaced with a noncommutative…

In this paper, we introduce the concept of filter on IL-algebra. It is proved that this concept generalizes the notion of filter on Residuated Lattices. Prime filters on IL-algebra are defined and few interesting properties are obtained. It…

We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…

Let $\Oq(G)$ be the algebra of quantized functions on an algebraic group $G$ and $\Oq(B)$ its quotient algebra corresponding to a Borel subgroup $B$ of $G$. We define the category of sheaves on the "quantum flag variety of $G$" to be the…