Related papers: Data types with symmetries and polynomial functors…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…

A classification is provided of functors, in particular polynomial ones, from a category with a zero object in which every object is a finite sum of copies of a generating object, into an abelian category. This classification is extended to…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…

In the study of 2d (the space dimension) topological orders, it is well-known that bulk excitations are classified by unitary modular tensor categories. But these categories only describe the local observables on an open 2-disk in the long…

The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…

In this thesis we studied the structure coefficients and especially their dependence on $n$ in the case of a sequence of double-class algebras. The first chapter is dedicated to the study of the structure coefficients in the general cases…

This paper develops a methodology for representing machine learning models as models of formal theories, grounded in the perspective that machine learning models are a form of database and that databases are models of theories in coherent…

Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…

We generalize Quillen's Theorem A to diagrams of lax 2-functors which commute up to transformation. It follows from a special case of this result that 2-categories are models for homotopy types.

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 introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…

We define generalized bialgebras and Hopf algebras and on this basis we introduce quantum categories and quantum groupoids. The quantization of the category of linear (super)spaces is constructed. We establish a criterion for the classical…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the…

We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional…

Ongoing work in quantum information emphasises the need for a structural understanding of quantum speedups: in this work, we focus on the quantum Fourier transform and the structures in quantum theory that enable it. We elucidate a general…

We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…