Related papers: Duality for positive opetopes and positive zoom co…
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…
We study duality transformation and duality symmetry in the the electromagnetic-like charged p-form theories. It is shown that the dichotomic characterization of duality groups as $Z_2$ or SO(2) remains as the only possibilities but are now…
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak $\omega$-categories,…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…
We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain…
In a category with enough limits and colimits, one can form the universal automorphism on an endomorphism in two dual senses. Sometimes these dual constructions coincide, as in the categories of finite sets, finite-dimensional vector…
We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…
Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal category is a special case of a bicategory, we formulate complex…
We present a duality between the category of compact Riemannian spin manifolds (equipped with a given spin bundle and charge conjugation) with isometries as morphisms and a suitable "metric" category of spectral triples over commutative…
Pseudo-harmonic morphisms give rise on the domain space to a distribution which admits an almost complex structure compatible with the given Riemannian metric. We shall show that this property, together with the harmonicity, are preserved…
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…
Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…
This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction…
We investigate the relative opers over the complex analytic family of compact complex manifolds of relative dimension one. We introduce the notion of relative opers arising from the second fundamental form associated with a relative…
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected…
We study the notion of duality in the context of graded manifolds. For graded bundles, somehow like in the case of Gelfand representation and the duality: points vs. functions, we obtain natural dual objects which belongs to a different…