Related papers: Realisability problem in arrow categories

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and…

In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized…

We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the…

Representing time is crucial for cyber-physical systems and has been studied extensively in the Situation Calculus. The most commonly used approach represents time by adding a real-valued fluent $\mathit{time}(a)$ that attaches a time point…

We use the abelian approximation for the bootstrap category of filtered C*-algebras to define a sensible notion of support for its objects. As a consequence, we provide a full classification of localizing subcategories in terms of a product…

Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded…

It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open…

In this article, we define operator algebras internal to a rigid C*-tensor category $\mathcal{C}$. A C*/W*-algebra object in $\mathcal{C}$ is an algebra object $\mathbf{A}$ in $\operatorname{ind}$-$\mathcal{C}$ whose category of free…

In this paper we describe the characters of irreducible objects in category O for the rational Cherednik algebra associated to GL_2(F_p) over an algebraically closed field of positive characteristic p, for any value of the parameter t and…

Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any $G\_\infty$-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy…

We derive a $\mathcal C^{k+\yt}$ H\"older estimate for $P\phi$, where $P$ is either of the two solution operators in Henkin's local homotopy formula for $\bar\partial_b$ on a strongly pseudoconvex real hypersurface $M$ in $\mathbf C^{n}$,…

For A a category with finite colimits, we show that the embedding of A into the category of arrows Arr(A) determined by the initial object is the completion of A under strong homotopy cokernels. The nullhomotopy structure of Arr(A) (needed…

This paper serves as a source of examples of Rokhlin actions or locally representable actions of finite groups on C*-algebras satisfying a certain UHF-absorption condition. We show that given any finite group $G$ and a separable, unital…

In our previous paper math/0502157 we classified a large class of finite-dimensional pointed Hopf algebras up to isomorphism. However the following problem was left open for Hopf algebras of of type $A,D$ or $E_6$, that is whose Cartan…

Catamorphisms are functions that are recursively defined on list and trees and, in general, on Algebraic Data Types (ADTs), and are often used to compute suitable abstractions of programs that manipulate ADTs. Examples of catamorphisms…

In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the…

We develop an algebraic model for the relative sectional category of a continuous map in rational homotopy theory using commutative differential graded algebras (CDGAs). Our main result establishes that for formal maps, the rational…

If A is a C*-algebra, G a locally compact group, K{\subset}G a compact subgroup and {\alpha}:G{\to}Aut(A) a continuous homomorphism, let Ax_{{\alpha}}G denote the crossed product. In this paper we prove that Ax_{{\alpha}}G is nuclear…

For a group $G$ and $\omega\in Z^{3}(G, \text{U}(1))$, an $\omega$-anomalous action on a C*-algebra $B$ is a $\text{U}(1)$-linear monoidal functor between 2-groups $\text{2-Gr}(G, \text{U}(1), \omega)\rightarrow \underline{\text{Aut}}(B)$,…

We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…