Related papers: ST and TS as Product and Sum

We prove two identities that connect some natural tensor products in the category $\sf{LCS}$ of locally convex spaces with the tensor products in the category $\sf{Ste}$ of stereotype spaces. In particular, we give sufficient conditions…

We prove a comparison result between two duality statements - Takai duality, which is implemented by the crossed product functor $- \rtimes G: KK^{G} \to KK^{\hat G}$ on equivariant Kasparov categories; and Treumann duality, which asserts…

In two articles by Barthel, Brasselet, Fieseler and Kaup, and, Bressler and Lunts, a combinatorial theory of intersection cohomology and perverse sheaves has been developed on fans. In the first one, one tried to present everything on an…

In this paper, we investigate a bitopological duality for algebras of Fitting's multi-valued logic. We also extend the natural duality theory for $\mathbb{ISP_I}(\mathcal{L})$ by developing a duality for $\mathbb{ISP}(\mathcal{L})$, where…

Let $t\ge 1$ be a given integer. Let ${\cal F}$ be a family of subsets of $[m]=\{1,2,\ldots,m\}$. Assume that for every pair of disjoint sets $S,T\subset [m]$ with $|S|=|T|=k$, there do not exist $2t$ sets in ${\cal F}$ where $t$ subsets of…

An extensive library of symptom inventories has been developed over time to measure clinical symptoms, but this variety has led to several long standing issues. Most notably, results drawn from different settings and studies are not…

We construct a slant product $\mathrm{S}^{G\times H}_p(X\times Y)\otimes \mathrm{K}_{-q}(\bar{\mathfrak{c}}^{\mathrm{red}} Y\rtimes H)\to \mathrm{K}_{p-q}(\mathrm{C}^\ast_G X)$ on the analytic structure group of Higson and Roe and the…

We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system,…

Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over…

The fundamental proposal in this article is that logical formulas of the form (f <-> ~f) are not contradictions, and that formulas of the form (t <-> t) are not tautologies. Such formulas, wherever they appear in mathematics, are instead…

Many versions of the Stokes theorem are known. More advanced of them require complicated mathematical machinery to be formulated which discourages the users. Our theorem is sufficiently simple to suit the handbooks and yet it is pretty…

Topological T-duality is a relationship between pairs (E, P ) over a fixed space X, where E over X is a principal torus bundle and P over E is a twist, such as a gerbe of principal PU(H)-bundle. This is of interest to topologists because of…

Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…

Let $A$ be a proper non-positive dg algebra over a field $k$. For a simple-minded collection of the finite-dimensional derived category $\mathcal{D}_{fd}(A)$, we construct a 'dual' silting object of the perfect derived category…

We examine the interplay between projectivity (in the sense that was introduced by S.~Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logic. More precisely, we explore whether a projective…

We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq,S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to…

Strongly Turing determinacy, or $\mathrm{sTD}$, says that for any set $A$ of reals, if $\forall x\exists y\geq_T x (y\in A)$, then there is a pointed set $P\subseteq A$. We prove the following consequences of Turing determinacy…

For a series of Markov processes we prove stochastic duality relations with duality functions given by orthogonal polynomials. This means that expectations with respect to the original process (which evolves the variable of the orthogonal…

We prove duality relations for two interacting particle systems: the $q$-deformed totally asymmetric simple exclusion process ($q$-TASEP) and the asymmetric simple exclusion process (ASEP). Expectations of the duality functionals correspond…

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called…