Related papers: $\mathcal{Q}$-closure spaces
We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…
We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…
We investigate how to add a symmetric monoidal structure to quantaloids in a compatible way. In particular, dagger compact quantaloids turn out to have properties that are similar to the category Rel of sets and binary relations. Examples…
The pair $(Q, \mathscr{K})$ is a {\it knowledge space} if $\bigcup\mathscr{K}=Q$ and $\mathscr{K}$ is closed under union, where $Q$ is a nonempty set and $\mathscr{K}$ is a family of subsets of $Q$. A knowledge space $(Q, \mathscr{K})$ is…
We classify mobile Pauli stabilizer codes up to gapped interfaces and coarse-graining using the framework of algebraic $\mathrm{L}$-theory. We compare this classification with that of framed TQFTs, theories that arise naturally in the…
The concept of a fuzzy number is generalized to the case of a finite carrier set of partially ordered elements, more precisely, a lattice, when a membership function also takes values in a partially ordered set (a lattice). Zadeh's…
The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense. This operation models a logical `tangle modality' connective, of significance in finite model…
It is well known that the category of Frolicher spaces and smooth mappings is Cartesian closed. The principal objective in this paper is to show that the full subcategory of Frolicher spaces that believe in fantasy that every Weil functor…
We introduce non-commutative algebras, which can be associated with the function algebra of functions on a finite or half-finite cylinder. The algebras, which depend on a deformation parameter, are crossed product algebras of a partial…
Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps.…
Real-valued logics have seen a renewed interest in verification for probabilistic and quantitative systems, in particular machine learning models, where they can be used to directly integrate specifications in the training objective. To do…
For any small involutive quantaloid Q we define, in terms of symmetric quantaloid-enriched categories, an involutive quantaloid Rel(Q) of Q-sheaves and relations, and a category Sh(Q) of Q-sheaves and functions; the latter is equivalent to…
For a finite dimensional semisimple Lie algebra ${\frak{g}}$ and a root $q$ of unity in a field $k,$ we associate to these data a double quiver $\bar{\cal{Q}}.$ It is shown that a restricted version of the quantized enveloping algebras…
A specialization semilattice is a structure which can be embedded into $(\mathcal P(X), \cup, \sqsubseteq )$, where $X$ is a topological space, $ x \sqsubseteq y$ means $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure in $X$.…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the…
Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…
We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce…
We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…
The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically…