2
$\begingroup$

(Trying to rephrase an earlier question)

In topology, a continuous map $f: X \to Y$ has a ``homotopy cofiber" $Cf$ included in a cofiber sequence $$ X \to Y \to Cf \to \Sigma X \to \Sigma Y \to \Sigma CF \to \ldots $$ when $f$ is a cofibration, the cofiber is homotopy equivalent to $X/Y$.

Now, if $Y$ is a category, say, of modules over a ring $R$, and $f$ a functor from another category (e.g. embedding of projective modules into all modules), is there a similar cofiber category and a cofiber sequence?

$\endgroup$
3
  • $\begingroup$ Perhaps I've answered your question in 1970, in a paper on shape theory (Fund.Math. -- or was it published in 1971?). Your question is not quite clear to me, thus I might be wrong. $\endgroup$ Commented Nov 7, 2016 at 23:30
  • $\begingroup$ What is supposed to be the suspension of a category ? $\endgroup$ Commented Nov 10, 2016 at 14:20
  • $\begingroup$ One could think of a category as a simplicial set with special properties, and borrow constructions from simplicial topological sets but I don't know if this can be worked out. Thus the question. $\endgroup$ Commented Nov 14, 2016 at 7:10

0