Related papers: Constructing linear bicategories
We define biquandle structures on a given quandle, and show that any biquandle is given by some biquandle structure on its underlying quandle. By determining when two biquandle structures yield isomorphic biquandles, we obtain a…
In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…
We present a theory of lattice-enriched semirings, called quantic semirings, which generalize both quantales and powersets of hyperrings. Using these structures, we show how to recover the spectrum of a Krasner hyperring (and in particular,…
The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}%_{A},$ the base semialgebra…
Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$ of characteristic $p > 0$ and let $\ell$ be a prime number different from $p$. Let $U \subseteq G$ be a maximal unipotent subgroup, $T$ a maximal torus…
This note informally describes a way to build certain cubical n-categories by iterating a process of taking models of certain finite limits theories. We base this discussion on a construction of "double bicategories" as bicategories…
This thesis proposes a framework based on a notion of combinatorial cell complex (cc) whose cells are defined simply as finite sets of vertices. The cells of a cc are subject to four axioms involving a rank function that assigns a rank (or…
In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…
We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…
We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…
We show that a large class of non-abelian monoidal categories can be realized as subcategories of tilting objects in abelian monoidal categories with a highest weight structure. The construction relies on a monoidal enhancement of…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…
Spectrum constructions appear throughout mathematics as a way of constructing topological spaces from algebraic data. Given a commutative localic semiring R (the pointfree analogue of a topological semiring), we define a spectrum of R which…
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the…
Webs are combinatorial diagrams used to encode homomorphisms between representations of Lie (super)algebras and related objects. This paper extends the theory of webs to the quantum group of type Q. We define a monoidal supercategory of…
We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on…
Motivated by the problem of classifying quantum symmetries of non-semisimple, finite-dimensional associative algebras, we define a notion of connection between bounded quivers and build a bicategory of bounded quivers and quiver…
We prove that the tensor category of quasi-coherent modules $\mathsf{Qcoh}(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$ over…
Quantum categories have been recently studied because of their relation to bialgebroids, small categories, and skew monoidales. This is the first of a series of papers based on the author's PhD thesis in which we examine the theory of…
The bicategory $\mathcal{LG}$ of Landau-Ginzburg models has polynomials as objects and matrix factorisations as $1$-morphisms. The composition of these $1$-morphisms produces infinite rank matrix factorisations, which is a nuisance. In this…