Related papers: Higher Catoids, Higher Quantales and their Corresp…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our…

We further explore the implications of our framework in [arXiv:1301.1977, arXiv:1309.4775], and physically derive, from the principle that the spacetime BPS spectra of string-dual M-theory compactifications ought to be equivalent, (i) a 5d…

We sketch a procedure to capture general non-invertible symmetries of a d-dimensional quantum field theory in the data of a higher-category, which captures the local properties of topological defects associated to the symmetries. We also…

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…

We introduce relative preresolving subcategories and precoresolving subcategories of an abelian category and define homological dimensions and codimensions relative to these subcategories respectively. We study the properties of these…

Cattani-Sassone's notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher…

We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

We show that special cycles generate a large part of the cohomology of locally symmetric spaces associated to orthogonal groups. We prove in particular that classes of totally geodesic submanifolds generate the cohomology groups of degree…

This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the…

Homotopy Quantum Field Theories as variants of Topological Quantum Field Theories are described by functors from some cobordism category, enriched with homotopical data, to a symmetric monoidal category $\mathcal{V}$. A new notion of HQFTs…

A representation of finite-dimensional probabilistic models in terms of formally real Jordan algebras is obtained, in a strikingly easy way, from simple assumptions. This provides a framework in which real, complex and quaternionic quantum…

This paper is the continuation of arXiv:0802.1245. We construct the Hochschild class for coherent modules over a deformation quantization algebroid on a complex Poisson manifold. We also define the convolution of Hochschild homologies, and…

We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures…

We show that the introduction of a minimal length in the context of non-commutative spacetime gives rise (after some considerations) to higher-order theories. We then explicitly demonstrate how these higher-derivative theories appear as a…

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

We investigate various types of symmetries and their mutual relationships in Hamiltonian systems defined on manifolds with different geometric structures: symplectic, cosymplectic, contact and cocontact. In each case we pay special…

We propose a description of T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects…