Related papers: Parametrized higher category theory II: Universal …
The decomposition of arbitrary unitary transformations into sequences of simpler, physically realizable operations is a foundational problem in quantum information science, quantum control, and linear optics. We establish a 1D Quantum Field…
The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Determinantal formulas, relation to conformal field models and the theory of Generalized Kontsevich model are discussed in some…
We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…
We prove the well-definedness of some deformations of the fibred biset category in characteristic zero. The method is to realize the fibred biset category and the deformations as the invariant parts of some categories whose compositions are…
In this work, we study the notion of cofinal functor of $\infty$-bicategories with respect to the theory of partially lax colimits. The main result of this paper is a characterization of cofinal functors of $\infty$-bicategories via…
We propose a generalization of Quillen's exact category -- arithmetic exact category and we discuss conditions on such categories under which one can establish the notion of Harder-Narasimhan filtrations and Harder-Narsimhan polygons.…
We define a new model structure on the category of small categories, which is intimately related to the notion of coverings and fundamental groups of small categories. Fibrant objects in the model structure coincide with groupoids, and the…
On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…
In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…
Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CP-construction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we…
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…
In this paper we classify global dimensions of the category algebras of some finite categories, including finite truncations of the categories $FI$, $FI_G$, $FI_d$, $OI$, $OI_G$, $OI_d$ and $VI$
In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown…
The concept of generalised (in the sense of Colombeau) connection on a principal fibre bundle is introduced. This definition is then used to extend results concerning the geometry of principal fibre bundles to those that only have a…
This is the second installment of a two part series of papers studying free globularly generated double categories. We introduce the canonical double projection construction. The canonical double projection translates information from free…
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2-Cat. Fibred bicategories correspond to trihomomorphisms…
Based on the modeling of type IIB string theory vacua using gauged S-duality and the Chan-Paton symmetries by introducing an infinite number of open string charges (affinization), we derive the derived category formulation of the quantum…
Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ containing all the objects, a $\sigma$-cone for $F$ (with respect to…
We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…
We introduce a new notion of recursively generated enriched term which generalizes the one studied in joint work with Rosick\'y. These new terms come together with a notion of term-interpretability, which recovers the same type of…