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

In 2009 Lurie published an expository article outlining a proof for a higher version of the cobordism hypothesis conjectured by Baez and Dolan in 1995. In this note we give a proof for the 1-dimensional case of this conjecture. The proof…

This paper reformulates Goodwillie calculus of $\infty$-categories including non-presentable $\infty$-categories. In the case of presentable $\infty$-categories our definition is equivalent to Heuts's~\cite{Heuts2018} work. As an…

In this extended note we give a precise definition of fully extended topological field theories \`a la Lurie. Using complete $n$-fold Segal spaces as a model, we construct an $(\infty,n)$-category of $n$-dimensional cobordisms, possibly…

We prove that if two homomorphisms from O_{\infty} to a purely infinite simple C*-algebra have the same class in KK-theory, and if either both are unital or both are nonunital, then they are approximately unitarily equivalent. It follows…

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…

The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a…

This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In…

In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the…

We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the \'etale morphisms is closed under small colimits. Our proof is based on a new characterization of \'etale…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism…

We give a direct proof of the fact that Lurie's Unstraightening functor induces an equivalence between the strict $(\infty,2)$-category of indexed quasi-categories and the strict $(\infty,2)$-category of fibered quasi-categories over any…

In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$…

We prove that if two nonzero homomorphisms from the Cuntz algebra O_infinity to a purely infinite simple C*-algebra have the same class in KK-theory, and if either both are unital or both are nonunital, then they are approximately unitarily…

In [5] the author conjectures and partially shows that the Cuntz semigroup classifies unitary elements of unital AF-algebras. We provide a complete proof by addressing the existence part of the conjecture, under a mild adjustment of both…

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…