相关论文: A cubical model for a fibration
We consider an interesting class of braidings defined by a combinatorial property in an earlier paper. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras…
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen…
We adopt a new perspective on the tensor product of arbitrary semi-lattices. Our basic construction exploits a description of semi-lattices in terms of bi-extensional Chu spaces associated to a target space defined to be the boolean domain.…
Given two correspondences $X$ and $Y$ and a discrete group $G$ which acts on $X$ and coacts on $Y$, one can define a twisted tensor product $X\boxtimes Y$ which simultaneously generalizes ordinary tensor products and crossed products by…
It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…
By applying the property of Ext-symmetry and the affine space structure of certain fibers, we introduce the notion of weighted quantum cluster functions and prove their multiplication formulas associated to abelian categories with…
We introduce what we call "alternative twisted tensor products" for not necessarily associative algebras, as a common generalization of several different constructions: the Cayley-Dickson process, the Clifford process and the twisted tensor…
The paper deals with combinatorial and stochastic structures of cubical token systems. A cubical token system is an instance of a token system, which in turn is an instance of a transition system. It is shown that some basic results of…
Let $X$ be a locally compact Hausdorff space with $n$ proper continuous self maps $\tau_i:X \to X$ for $1 \le i \le n$. To this we associate two topological conjugacy algebras which emerge as the natural candidates for the universal algebra…
A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and…
In this work we introduce a notion of tensor product of (twisted) quiver representations with relations in the category of $\mathcal{O}_X$-modules. As a first application of our notion, we see that tensor products of polystable quiver…
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
We present an integral representation for the tensor product $L$-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical…
We introduce a notion of extraction-contraction coproduct on twisted bialgebras, that is to say bialgebras in the category of linear species. If $P$ is a twisted bialgebra, a contraction-extraction coproduct sends $P[X]$ to…
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
We introduce the abstract notion of a closed necklical set in order to describe a functorial combinatorial model of the free loop fibration $\Omega Y\rightarrow \Lambda Y\rightarrow Y$ over the geometric realization $Y=|X|$ of a path…
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…
Let g be a simple simply laced Lie algebra. In this paper two families of varieties associated to the Dynkin graph of g are described: ``tensor product'' and ``multiplicity'' varieties. These varieties are closely related to Nakajima's…
We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field…