Related papers: Some Remarks on the Interchange in Gray-categories

An isovariant map between spaces with a group action is an equivariant map which preserves isotropy groups. In this paper, we show that for a finite group $G$, the category of $G$-spaces with isovariant maps has a Quillen model structure.…

In this paper, we study the higher Yang-Mills theory in the framework of higher gauge theory. It was shown that the 2-form electromagnetism can be generalized to the 2-form Yang-Mills theory with the group $U(1)$ replaced by a crossed…

Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $\Gamma$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $\pi$ of $\Gamma$ permutes the…

We prove necessary and sufficient conditions on a family of (generalised) gridding matrices to determine when the corresponding permutation classes are partially well-ordered. One direction requires an application of Higman's Theorem and…

In this paper a monodromy invariant for isotropic classes on generalized Kummer type manifolds is constructed. This invariant is used to determine the polarization type of Lagrangian fibrations on such manifolds - a notion which was…

We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…

We generalise the notion of separable equivalence, originally presented by Linckelmann (2011), to an equivalence relation on additive categories. We use this generalisation to show that from an initial equivalence between two algebras we…

This paper introduces an isometry between the modular rings $\Z_{2^s}$ and $\Z_{2^{s-1}}$ with respect to the homogeneous weights. Certain product of these maps gives Carlet's generalised Gray map and also Vega's Gray map. For $s=2$ this…

We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to…

We show that the Hilbert scheme of curves and Le Potier's moduli space of stable pairs with one dimensional support have a common GIT construction. The two spaces correspond to chambers on either side of a wall in the space of GIT…

We study a category of probability spaces and measure-preserving Markov kernels up to almost sure equality. This category contains, among its isomorphisms, mod-zero isomorphisms of probability spaces. It also gives an isomorphism between…

Let $p_{k,3}(n)$ enumerate the number of 2-color partition triples of $n$ where one of the colors appears only in parts that are multiples of $k$. In this paper, we prove several infinite families of congruences modulo powers of 3 for…

In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of…

We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain…

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…

Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The…

We prove that there are continuum-many axiomatic extensions of the full Lambek calculus with exchange that have the deductive interpolation property. Further, we extend this result to both classical and intuitionistic linear logic as well…

We derive the conditions that the coupling constants of the Generalized Thirring Model have to satisfy in order for the model to admit an infinite number of commuting classical conserved quantities. Our treatment uses the bosonized version…

Let $G=GL_n(K)$ be the general linear group defined over an infinite field $K$ of positive characteristic $p$ and let $\Delta(\lambda)$ be the Weyl module of $G$ which corresponds to a partition $\lambda$. In this paper we classify all…

We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This…