Related papers: Dinaturality for Double Categories
Via the construction of a functor from $\mathsf{C}_{u}(H)$ to an auxiliary category we associate, with any triplet $(G,F,\rho)$, two natural transformations, $\mathfrak{m}_{\star}$ morphism of…
In Rev. Math. Phys. 4 (1997) 785 we study Hilbert-C* systems {F,G} where the fixed point algebra A has nontrivial center Z and where A'\cap F=Z is satisfied. The corresponding category of all canonical endomorphisms of A contains…
Given a group $G$, we define suitable 2-categorical structures on the class of all small categories with $G$-actions and on the class of all small $G$-graded categories, and prove that 2-categorical extensions of the orbit category…
The categories with noninvertible morphisms are studied analogously to the semisupermanifolds with noninvertible transition functions. The concepts of regular n-cycles, obstruction and the regularization procedure are introduced and…
We study a class of duality transformations in generalised Z(2) gauge theories and Ising models on two- and three-dimensional compact lattices. The theories are interpreted algebraically in terms of the structure constants of a…
Following the program of investigation of alternative spinor duals potentially applicable to fermions beyond the standard model, we demonstrate explicitly the existence of several well-defined spinor duals. Going further we define a mapping…
We define the notion of duality categories as generalization of duality groups. Two examples are treated. The first is the Serre duality in the categories of strict polynomial functors. The second concerns finite complexes. We show in…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce a new framework for doctrines based on double category…
A double category of relations is essentially a cartesian equipment with strong, discrete and functorial tabulators and for which certain local products satisfy a Frobenius Law. A double category of relations is equivalent to a double…
We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first…
Motivated by the definition of Duflo involution for fiat $2$-categories, we define certain analogues of Duflo involution for arbitrary finitary $2$-categories and show that such Duflo involutions exist for two classes of finitary…
Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…
In this article the notion of virtual double category (also known as fc-multicategory) is extended as follows. While cells in a virtual double category classically have a horizontal multi-source and single horizontal target, the notion of…
Dualities are mathematical mappings that reveal unexpected links between apparently unrelated systems or quantities in virtually every branch of physics. Systems that are mapped onto themselves by a duality transformation are called…
Originally enriched categories were defined over a monoidal category, but it was gradually realized that important examples can only be included when one enriches over more general structures such as bicategories and virtual double…
Mappings between models may be obtained by unitary transformations with preservation of the spectra but in general a change in the states. Non- canonical transformations in general also change the statistics of the operators involved. In…
The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group \Gamma, with quotient group isomorphic to \Gamma/N. It is shown how to enumerate such…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
Using Dold--Puppe category approach to the duality in topology, we prove general duality theorem for the category of motives. As one of the applications of this general result we obtain, in particular, a generalization of…