相关论文: Compactly generated homotopy categories

We investigate the homotopy type of the Alexander dual of a simplicial complex. In general the homotopy type of K does not determine the homotopy type of its dual K*. Moreover, one can construct for each finitely presented group G, a simply…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As…

We examine various triangulated quotients of the module category of a finite group. We demonstrate that these are not compactly generated by the simple modules and present a modification of Rickard's Idempotent Module construction that…

In this note, we are working within the category $\rmod$ of (unitary, left) $R$-modules, where $R$ is a {\bf countable} ring. It is well known (see e.g. Kie{\l}pi\'nski & Simson [5], Theorem 2.2) that the latter condition implies that the…

In this paper we analyse for a $G$-$C^{*}$-algebra $A$ to which extent one can calculate the $K$-theory of the reduced crossed product $K(A\rtimes_{r}G)$ from the $K$-theory spectrum $K(A)$ with the induced $G$-action. We also consider some…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…

We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical…

There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the direct product decompositions of a set or group or…

To a complex symplectic manifold X we associate a canonical quantization algebroid. Our construction is similar to that of Polesello-Schapira's deformation-quantization algebroid, but the deformation parameter is no longer central. If X is…

In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring…

We study the categories of discrete modules for topological rings arising as the rings of operations in various kinds of topological K-theory. We prove that for these rings the discrete modules coincide with those modules which are locally…

We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and…

Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we…

We show that the category of orbits of the bounded derived category of a hereditary category under a well-behaved autoequivalence is canonically triangulated. This answers a question by A. Buan, R. Marsh and I. Reiten which appeared in…

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…

We study a categorical construction called the cobordism category, which associates to each Waldhausen category a simplicial category of cospans. We prove that this construction is homotopy equivalent to Waldhausen's…