English
Related papers

Related papers: Quasi-unital $\infty$-Categories

200 papers

To a differential graded algebra with coefficients in a noncommutative algebra, by dualisation we associate an $A_\infty$-category whose objects are augmentations. This generalises the augmentation category of Bourgeois and Chantraine to…

Symplectic Geometry · Mathematics 2016-05-25 Baptiste Chantraine , Georgios Dimitroglou Rizell , Paolo Ghiggini , Roman Golovko

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

Category Theory · Mathematics 2007-05-23 B. Toen

In his $1994$ survey, Kleinert defined formally and formulated the problem to obtain unit theorems for unit groups of orders in a semisimple algebra $A$. If $A$ is a group algebra $FG$, it boils down to classifying all finite groups $G$…

Group Theory · Mathematics 2025-10-22 Geoffrey Janssens

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

Algebraic Geometry · Mathematics 2023-05-10 L. Barbieri-Viale

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Logic · Mathematics 2016-09-07 Wesley Calvert

With any non necessarily orientable unpunctured marked surface (S,M) we associate a commutative algebra, called quasi-cluster algebra, equipped with a distinguished set of generators, called quasi-cluster variables, in bijection with the…

Rings and Algebras · Mathematics 2015-02-17 Grégoire Dupont , Frédéric Palesi

This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in…

Algebraic Geometry · Mathematics 2023-06-16 Pelle Steffens

We show that a semi-commutative Galois extension of a unital associative algebra can be endowed with the structure of a graded q-differential algebra. We study the first and higher order noncommutative differential calculus of…

Rings and Algebras · Mathematics 2015-07-06 Viktor Abramov

In this article we give a classification of the binary, simple, $\omega$-categorical structures with SU-rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that…

Logic · Mathematics 2017-04-11 Ove Ahlman

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher…

Category Theory · Mathematics 2016-08-15 Clark Barwick , Jay Shah

We prove a conjecture due to M. Kazarian, connecting two classifying spaces in singularity theory. These spaces are: - Kazarian's space (generalizing Vassiliev's algebraic complex and) showing which cohomology classes are represented by…

Geometric Topology · Mathematics 2008-07-28 András Szűcs

Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group…

Category Theory · Mathematics 2021-07-14 Masaki Izumi , Henry Tucker

Univalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here, we…

Logic in Computer Science · Computer Science 2023-08-17 Kobe Wullaert , Ralph Matthes , Benedikt Ahrens

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…

Algebraic Topology · Mathematics 2022-07-20 Shaul Ragimov , Tomer M. Schlank

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

Category Theory · Mathematics 2026-01-15 David Barnes , Niall Taggart

Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include…

Quantum Algebra · Mathematics 2023-06-16 Thibault D. Décoppet

A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…

Group Theory · Mathematics 2018-06-06 Přemysl Jedlička , Agata Pilitowska , David Stanovský , Anna Zamojska-Dzienio

This paper is the first step in the project of categorifying the bialgebra structure on the half of quantum group $U_{q}(\mathfrak{g})$ by using geometry and Hall algebras. We equip the category of D-modules on the moduli stack of objects…

Representation Theory · Mathematics 2018-10-18 Adam Gal , Elena Gal , Kobi Kremnizer

We present some results on (co)limits of diagrams in $\infty$-categories, as well as those in $(n, 1)$-categories. In particular, we deduce a way to reshape colimit diagrams into simplicial ones, and a characterisations of $n$-cofinality…

Category Theory · Mathematics 2023-11-07 Peng Du

Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based constructions. For example, they cannot capture protocols such as quantum…

Logic in Computer Science · Computer Science 2016-04-20 Chris Heunen