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

We define a notion of cofibration among n-categories and show that the cofibrant objects are exactly the free ones, that is those generated by polygraphs.

We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this…

We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we…

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…

Let $\mathcal{A}$ be a Hom-finite additive Krull-Schmidt $k$-category where $k$ is an algebraically closed field. Let ${\rm mod} \mathcal{A}$ denote the category of locally finite dimensional $\mathcal{A}$-modules, that is, the category of…

We introduce the notions of a $\mathbf{D}$-standard abelian category and a $\mathbf{K}$-standard additive category. We prove that for a finite dimensional algebra $A$, its module category is $\mathbf{D}$-standard if and only if any derived…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.

EI-categories are a simultaneous generalisation of finite groups and finite quivers without oriented cycles. It is therefore a natural question to ask for a characterisation of finite representation type. For special classes of…

We give a natural notion of (non-exact) integral functor in the context of k-linear and graded categories. In this broader sense, we prove that every k-linear and graded functor is integral.

In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

We prove that a freer quantum group has smaller moments of the self-adjoint main character in the category of finitely generated discrete quantum groups. As a result, the moments are minimized precisely by the unitary free quantum groups…

For an interval finite quiver $Q$, we introduce a class of flat representations. We classify the indecomposable projective objects in the category $\mathrm{rep}(Q)$ of pointwise finite dimensional representations. We show that an object in…

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

Let $G$ be an affine algebraic group over an algebraically closed field $k$ of characteristic zero. In this paper, we consider finite $G$-equivariant morphisms $F:X\to Y$ of irreducible affine $G$-varieties. First we determine under which…

Canonical quantization (CQ) is built around $[Q,P]=i\hbar1\!\!1$, while affine quantization (AQ) is built around $[Q,D]=i\hbar\,Q$, where $D\equiv(PQ+QP)/2$. The basic CQ operators must fit $-\infty< P, Q <\infty$, while the basic AQ…

We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…

We prove the levelwise finite generation of free polynomial $G$-Tambara functors in a collection of cases, most notably when $G$ is a finite Dedekind group or when $G \cong C_p \rtimes C_q$, $p > q$ primes. In the process, we establish the…