Related papers: Unital ${A}_\infty$-categories
For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length…
We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner…
It is shown that two formations of finite groups, one was introduced by V.S. Monakhov and V.N. Kniahina and another one was introduced by R. Brandl, are coincides.
Various kinds of infinitary operations satisfying forms of associativity have been considered in the literature by various authors, including A. Tarski, C. Karp, J. H. Conway, D. Krob, N. Bedon, and C. Rispal. Applications include the…
Finite $p$-groups with a unique $\mathcal{A}_2$-subgroup are classified up to isomorphism. A problem proposed by Berkovich and Janko is solved.
We give a model-independent definition of limits for diagrams valued in an $(\infty,n)$-category. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of…
The paper is devoted to the comparison of the Fukaya category (it is responcible for the A-side of mirror symmetry) with the category of holonomic modules over the quantized algebra of functions on the same symplectic manifold. We…
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…
A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We…
Proponents of category theory long hoped to escape the limits of set theory by founding mathematics on an unlimited category theory in which large categories, such as the category Grp of all groups, the category Top of all topological…
An elementary theory of strict $\infty $-categories with application to concrete duality is given. All known famous dualities (Gelfand-Naimark, Pontryagin, Stone, etc.) are so-called natural. A criterion of existence of such a duality for…
The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by…
The unification type of an equational theory is defined using a preorder on substitutions, called the instantiation preorder, whose scope is either restricted to the variables occurring in the unification problem, or unrestricted such that…
In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical…
This paper compares the definitions of finite-type invariants due to Ohtsuki and to Garoufalidis, showing that, residually, type 3m of the former equals type m of the latter. It also shows that type 2m Ohtsuki invariants define knot…
We review the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of weak 3-category(or tricategory).
Seidel introduced the notion of a Fukaya category `relative to an ample divisor', explained that it is a deformation of the Fukaya category of the affine variety that is the complement of the divisor, and showed how the relevant deformation…
We show that single-variable polynomial functors over the category $\mathcal{S}$ of infinity groupoids, as defined by Gepner-Haugseng-Kock, are exactly colimits of representable copresheaves indexed by infinity groupoid. This allows us to…
Let $\A$ be a unital separable nuclear $C^*$--algebra which belongs to the bootstrap category $\N$ and $\B$ be a separable stable $C^*$--algebra. In this paper, we consider the group $\Ext_u(\A,\B)$ consisting of the unitary equivalence…
This is a comment on the recent paper by O.V. Selyugin, J.-R. Cudell, and E. Predazzi "Analytic properties of different unitarization schemes" arXiv: 0712.0621v2, [hep-ph]