Original file (SVG file, nominally 403 × 106 pixels, file size: 49 KB)

LaTeX source

\documentclass{amsart}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\begin{equation*}
\xymatrix@+3em{
{\dots} \ar[r]^{d_A^{n - 2}}
	& A^{n - 1}
		\ar[r]^{d_A^{n - 1}}
		\ar@<0.5ex>[d]^{g^{n - 1}}
		\ar@<-0.5ex>[d]_{f^{n - 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n - 1}}
	& A^n
		\ar[r]^{d_A^n}
		\ar@<0.5ex>[d]^{g^n}
		\ar@<-0.5ex>[d]_{f^n}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^n}
	& A^{n + 1}
		\ar[r]^{d_A^{n + 1}}
		\ar@<0.5ex>[d]^{g^{n + 1}}
		\ar@<-0.5ex>[d]_{f^{n + 1}}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 1}}
	& {\dots}
		\ar[dl]|*+<1ex,1ex>{\scriptstyle h^{n + 2}}\\
{\dots} \ar[r]^{d_B^{n - 2}}
	& B^{n - 1} \ar[r]^{d_B^{n - 1}}
	& B^n \ar[r]^{d_B^n}
	& B^{n + 1} \ar[r]^{d_B^{n + 1}}
	& {\dots}
}
\end{equation*}
\end{document}

Summary

Description

Let A be an additive category. The homotopy category K(A) is based on the following definition: if we have complexes A, B and maps f, g from A to B, a chain homotopy from f to g is a collection of maps (not a map of complexes) such that

or simply
This can be depicted as shown in the diagram.
Date 19 March 2007, 2008-02-06
Source Image:Chain homotopy.jpg
Author User:Ryan Reich, User:Stannered
Permission
(Reusing this file)
Public ___domain This work has been released into the public ___domain by its author, Ryan Reich at English Wikipedia. This applies worldwide.
In some countries this may not be legally possible; if so:
Ryan Reich grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Other versions Image:Chain homotopy.jpg
SVG development
InfoField
 
The SVG code is valid.
 
This diagram was created with an unknown SVG tool.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

19 March 2007

image/svg+xml

09126edd98a33f23b630199541a8c2d789b7e79a

49,708 byte

106 pixel

403 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current20:29, 13 January 2009Thumbnail for version as of 20:29, 13 January 2009403 × 106 (49 KB)Ryan Reich{{Information |Description=A depiction of a homotopy of two maps of chain complexes |Source=Created it myself |Date=01-13-2009 |Author=~~~ |Permission=See below |other_versions= }}
14:04, 6 February 2008Thumbnail for version as of 14:04, 6 February 2008795 × 208 (49 KB)Stannered{{Information |Description=Let ''A'' be an additive category. The homotopy category ''K(A)'' is based on the following definition: if we have complexes ''A'', ''B'' and maps ''f'', ''g'' from ''A'' to ''B'', a '''chain homotopy''' from ''f'' to ''g''

The following page uses this file:

Global file usage

The following other wikis use this file: