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

The computational cost of micromechanics for heterogeneous materials can be reduced in certain cases where symmetric boundary conditions are applicable. We derived an eighth symmetric formulation of the Generalized Method of Cells for…

The results of this thesis allows one to replace calculations in tricategories with equivalent calculations in Gray categories (aka semistrict tricategories). In particular the rewriting calculus for Gray categories as used for example by…

In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given.

Poly-bicategories generalise planar polycategories in the same way as bicategories generalise monoidal categories. In a poly-bicategory, the existence of enough 2-cells satisfying certain universal properties (representability) induces…

We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the…

We define several notions of interpolation for vector bundles on curves and discuss their relation to slope stability. The heart of the paper demonstrates how to use degeneration arguments to prove interpolation. We use these ideas to show…

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation;…

We define $G$-cospectrality of two $G$-gain graphs $(\Gamma,\psi)$ and $(\Gamma',\psi')$, proving that it is a switching isomorphism invariant. When $G$ is a finite group, we prove that $G$-cospectrality is equivalent to cospectrality with…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We demonstrate that an equivalence of categories using $\varepsilon$-interleavings as a fundamental component exists between the model of persistence modules as graded modules over a polynomial ring and the model of persistence modules as…

The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…

We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…

Using the theory of $(\varphi, \Gamma)$-modules we generalizes Greenberg's construction of the $\Cal L$-invariant to semistable representations

We prove a new symplectic analogue of Kashiwara's Equivalence from D-module theory. As a consequence, we establish a structure theory for module categories over deformation quantizations that mirrors, at a higher categorical level, the…

We define a bicategory in which the 0-cells are the entwinings over variable rings. The 1-cells are triples of a bimodule and two maps of bimodules which satisfy an additional hexagon, two pentagons and two (co)unit triangles; and the…

Uniform interpolation is a strengthening of interpolation that holds for certain propositional logics. The starting point of this chapter is a theorem of A. Pitts, which shows that uniform interpolation holds for intuitionistic…

For any maximal coaction (A, G, delta) and any closed normal subgroup N of G, there exists an imprimitivity bimodule Y between the full crossed product A x G x N and A x G/N, together with a compatible coaction delta_Y of G. The assignment…

We extend Campion's pasting theorem for $(\infty, n)$-categories to a larger class of polygraphs, called the directed complexes with frame-acyclic molecules. It follows, for instance, that this pasting theorem applies to any polygraph…

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…

Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…