相关论文: Free ${A}_\infty$-categories

We show that certain hands-on A-infinity-categorical constructions satisfy desirable universal properties in the infinity-category of A-infinity categories. For sufficiently cofibrant A-infinity categories, two models for quotients of…

There are several approaches to the fractional differential operator. Generalized q-fractional difference operator was defined in the aid of q-iterated Cauchy integral and q-calculus techniques. We introduce Caputo type derivative related…

Our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored,…

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…

Stefanich generalized the notion of (locally) presentable $(\infty, 1)$-category to the notion of presentable $(\infty, n)$-category. We give a new description based on the new notion of $\kappa$-compactly generated $(\infty, n)$-category,…

An algebra is said to be \emph{$\tau$-tilting finite} provided it has only a finite number of $\tau$-rigid objects up to isomorphism. We associate a category to each such algebra. The objects are the wide subcategories of its category of…

We define covariantly a deformation of a given algebra, then we will see how it can be related to a deformation quantization of a class of observables in Quantum Field Theory. Then we will investigate the operator order related to this…

Let k be a field, Q a finite directed graph, and kQ its path algebra. Make kQ an N-graded algebra by assigning each arrow a positive degree. Let I be an ideal in kQ generated by a finite number of paths and write A = kQ/I. Let QGr A denote…

The automorphisms of free groups with boundaries form a family of groups A_{n,k} closely related to mapping class groups, with the standard automorphisms of free groups as A_{n,0} and (essentially) the symmetric automorphisms of free groups…

We prove that the finiteness of a finitely generated category of irreducible algebraic varieties over a field of characteristic zero is decidable. We also obtain a Burnside finiteness criterion for such a category, with applications to…

We construct an A-infinity structure of the Fukaya category explicitly for any flat symplectic two-torus. The structure constants of the non-transversal A-infinity products are obtained as derivatives of those of transversal A-infinity…

In this note we prove that if $G$ is a finitely generated profinite group then the verbal subgroup $G^{q}$ is open. Equivalently in a $d$-generator finite group every product of $q$th powers is a product of $f(d,q)$ $q$th powers.

For a Dynkin quiver $Q$ (of type ADE), we consider a central completion of the convolution algebra of the equivariant K-group of a certain Steinberg type graded quiver variety. We observe that it is affine quasi-hereditary and prove that…

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is…

A free differential for an arbitrary associative algebra is defined as a differential with a uniqueness property. The existence problem for such a differential is posed. The notion of optimal calculi for given commutation rules is…

We show that a version of Martin-L\"of type theory with an extensional identity type former I, a unit type N1 , Sigma-types, Pi-types, and a base type is a free category with families (supporting these type formers) both in a 1- and a…

Can one detect free products of groups via their profinite completions? We answer positively among virtually free groups. More precisely, we prove that a subgroup of a finitely generated virtually free group $G$ is a free factor if and only…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

Quantum K-theory of a smooth projective variety at genus zero is a collection of integers that can be assembled into a generating series $J(Q,q,t)$ that satisfies a system of linear differential equations with respect to $t$ and…

An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors…