Related papers: Segal spaces, spans, and semicategories

Using the natural duality between linear functionals on tensor products of C*-algebras with the trace class operators on a Hilbert space H and linear maps of the C*-algebra into B(H), we give two characterizations of separability, one…

We consider a family of Hecke C*-algebras which can be realised as crossed products by semigroups of endomorphisms. We show by dilating representations of the semigroup crossed product that the category of representations of the Hecke…

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…

For a fixed finite group $Q$ and semi-simple finite dimensional algebra $S$, we examine an equivalence between strongly $Q$-graded algebras (extensions) with identity component $S$ and $S^1$-gerbes on action groupoids of $Q$ on the set of…

We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…

We define and study the $(\infty,2)$-category $\mathbf{Cat}_{\infty}(\mathcal{C})$ of $(\infty,1)$-categories internal to a general $(\infty,1)$-category $\mathcal{C}$ via an associated externalization construction. In the first part, we…

We prove a noncompact Serre-Swan theorem characterising modules which are sections of vector bundles not necessarily trivial at infinity. We then identify the endomorphism algebras of the resulting modules. The endomorphism results continue…

We study the partially wrapped Fukaya category of a surface with boundary with an action of a group of order two. Inspired by skew-group algebras and categories, we define the notion of a skew-group $A_\infty$-category and let it play the…

We introduce the notion of a (noncommutative) C*-Segal algebra as a Banach algebra which is a dense ideal in a C*-algebra. Several basic properties are investigated and, with the aid of the theory of multiplier modules, the structure of…

Pseudoalgebras, introduced in [BDK], are multi-dimensional analogues of conformal algebras, which provide an axiomatic description of the singular part of the operator product expansion. Our main interest in this paper is the pseudoalgebra…

Semigroup algebras admit certain `coherent' deformations which, in the special case of a path algebra, may associate a periodic function to an evolving path; for a particle moving freely on a straight line after an initial impulse, the wave…

The scientific and practical needs of the twenty-first century lead humankind to convergence of the specialized and diverse branches of science and technology. This convergence reveals the need for new mathematical theories capable of…

In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…

We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the…

When formalizing mathematics in (generalized predicative) constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids (types with explicit equivalence relations). In this note we…

For coalgebras $C$ over a field, we study when the categories ${}^C\Mm$ of left $C$-comodules and $\Mm^C$ of right $C$-comodules are symmetric categories, in the sense that there is a duality between the categories of finitely presented…

The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…

We define a bicategory with \'etale, locally compact groupoids as objects and suitable correspondences, that is, spaces with two commuting actions as arrows; the 2-arrows are injective, equivariant continuous maps. We prove that the usual…

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 show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.