Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
152 views

Homotopy coherent transformation and totalization

Let $C$ be the category of chain complexes over a field $F$ and $C^\prime$ be the subcategory of chain complexes with zero differentials. If $X:I\to C$ is a functor, there is an induced "homology&...
vap's user avatar
  • 410
2 votes
0 answers
117 views

Hypercube of chain complexes as functor from (Δ^1 )^n to ∞-category of chain complexes

A hypercube of chain complexes consists of $\mathbb{Z}$-graded vector spaces $C_\epsilon$ for $\epsilon\in\{0,1\}^n$ and maps $D_{\epsilon,\epsilon^\prime}:C_{\epsilon}\to C_{\epsilon^\prime}$ for $\...
Faniel's user avatar
  • 673
4 votes
1 answer
257 views

Homotopy totalization and chains - reference

Simple case. Take $X_{\bullet}$ a cosimplicial space. Is it true that the chain complex of its homotopy totalization is quasi-isomorphic to the homotopy totalization of its chain complex? Because of ...
Andrea Marino's user avatar
4 votes
1 answer
230 views

Gluing a manifold along its boundary, via chain complexes

Given closed oriented $n$-manifolds $M, M', M''$ and bordisms $W, W'$ with $\partial W = M \sqcup - M'$ and $\partial W' = M' \sqcup - M''$, we can collar-glue them to obtain a bordism from $M$ to $M''...
Markus Zetto's user avatar
2 votes
0 answers
310 views

Invariants of objects in $\operatorname{Ch}(\mathrm{Ab})$ up to chain homotopy

$\newcommand\Ab{\mathrm{Ab}}\newcommand\ab{\mathrm{ab}}\DeclareMathOperator\Ch{Ch}\DeclareMathOperator\Kom{Kom}\newcommand\ho{\mathrm{ho}}$Let $\Ab$ be the category of finitely generated abelian ...
Student's user avatar
  • 5,230
6 votes
2 answers
963 views

Projective objects in the derived category of chain complexes

I have been trying to understand projective objects in the derived category of chain complexes of modules over a ring. If we stick to the category of chain complexes, the only projective objects are ...
Sofía Marlasca Aparicio's user avatar
4 votes
1 answer
191 views

Homotopy coherent space maps induces homotopy coherent chain complex morphisms

It is an elementary fact that a map $f:X \to Y$ between spaces induces a chain complex morphism $f_* : C_*(X) \to C_*(Y) $. This allows one to transfer 1-category theoretic arguments from spaces to ...
Andrea Marino's user avatar
6 votes
0 answers
180 views

(Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories

(note: this question is essentially a reference request for the tensor product described at the end. the rest is context) It is well known that the category of chain complexes (in positive degree, ...
Simon Henry's user avatar
  • 42.4k
23 votes
3 answers
4k views

how to make the category of chain complexes into an $\infty$-category

I'd like to have some simple examples of quasi-categories to understand better some concepts and one of the most basic (for me) should be the category of chain complexes. Has anyone ever written down ...
Yosemite Sam's user avatar
  • 1,889