File:Chain homotopy.svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

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

Captions

Captions

Add a one-line explanation of what this file represents

LaTeX source

[edit]
\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

[edit]
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.

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 (talk | contribs){{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 (talk | contribs){{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''

There are no pages that use this file.

File usage on other wikis

The following other wikis use this file: