Related papers: Duality for positive opetopes and positive zoom co…

We classify conjugacy classes of involutions in the isometry groups of nondegenerate, symmetric bilinear forms over the field of two elements. The new component of this work focuses on the case of an orthogonal form on an even dimensional…

Relative smoothness and strong convexity have recently gained considerable attention in optimization. These notions are generalizations of the classical Euclidean notions of smoothness and strong convexity that are known to be dual to each…

We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension…

We show that the topological classification and the smooth classification are generically the same for certain families of plane curves in a semi-local case(the double local case). Especially we give the normal form of transversely jointed…

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…

In this paper, we examine the homotopy classes of positive loops in ${\rm Sp}(2n)$. We demonstrate that two positive loops are homotopic if and only if they are homotopic through positive loops. As consequences, we can extend several…

We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category…

The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…

We study dualities between classes of relational topological structures, given by Hom-functors. We show that there exists a 2-element structure with infinitely many relations, which reconstructs all other structures generated by a 2-element…

We introduce a notion of entropy for automorphisms of discrete groups which admit amenable actions on a compact space. This entropy is dual to classical topological entropy in the sense that if G is discrete and abelian then our notion of…

We show that various cyclic and cocyclic modules attached to Hopf algebras and Hopf modules are related to each other via Connes' duality isomorphism for the cyclic category.

We introduce the notion of crystallographic T-duality, inspired by the appearance of $K$-theory with graded equivariant twists in the study of topological crystalline materials. Besides giving a range of new topological T-dualities, it also…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

We prove autoduality for curves of compact type and, more generally, treelike curves with planar singularities. More precisely, we produce an isomorphism between the generalized Jacobian of such a curve and the connected component of the…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

We extend Poincar\'e duality in \'etale cohomology from smooth schemes to regular ones. This is achieved via a formalism of trace maps for local complete intersection morphisms.

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible…

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…

If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated…