\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{algebraic topology}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{homotopy_theory}{}\paragraph*{{Homotopy theory}}\label{homotopy_theory}

[[!include homotopy - contents]]

\hypertarget{higher_algebra}{}\paragraph*{{Higher algebra}}\label{higher_algebra}

[[!include higher algebra - contents]]

\hypertarget{algebraic_topology}{}\paragraph*{{Algebraic topology}}\label{algebraic_topology}

[[!include algebraic topology - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{the_idea_of_functorial_invariants}{The idea of functorial invariants}\dotfill \pageref*{the_idea_of_functorial_invariants} \linebreak
\noindent\hyperlink{overview_of_methods}{Overview of methods}\dotfill \pageref*{overview_of_methods} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

\emph{Algebraic topology} refers to the application of methods of [[algebra]] to problems in [[topology]]. More specifically, the method of algebraic topology is to assign [[homeomorphism]]/[[homotopy]]-[[invariants]] to [[topological spaces]], or more systematically, to the construction and applications of [[functors]] from some [[category]] of topological objects (e.g. [[Hausdorff spaces]], topological [[fibre bundles]]) to some algebraic category (e.g. [[abelian groups]], [[modules]] over the [[Steenrod algebra]]). Landing in an algebraic category aids to the computability, but typically loses some information (say getting from a topological spaces with a continuum or more points to rather discrete algebraic structures). The basic aim is to attack a classification problem (for spaces or maps) or existence of maps (typically the problems for finding [[liftings]], [[sections]], [[extensions]] and [[retractions]], cf. [[basic problems of algebraic topology]]) and, more rarely, the uniqueness problem for maps. With the development of the subject, however the invariants and the objects of algebraic topology are not only used to attack these problems but also to characterize the conditions and to have the language for various constructions (say vanishing conditions, conditions on characteristic class, dual classes, products).

\hypertarget{the_idea_of_functorial_invariants}{}\subsubsection*{{The idea of functorial invariants}}\label{the_idea_of_functorial_invariants}

The basic idea of the functorial method for the problem of existence of morphisms is the following: If $F:A\to B$ is a [[functor]] (we present here a general statement, but in the above context $A$ is a category of topological objects and $B$ some category of algebraic objects) and $d:D\to A$ a [[diagram]] in $A$ then $F\circ d$ is a diagram in $B$. If one can fill certain additional arrow $f$ in the diagram $d$ making the extended diagram commutative, then $F(f)$ is a morphism between the corresponding vertices in $B$ extending $F\circ d$ to a commutative diagram. Thus if we prove that there is no morphism extending $F\circ d$ then there was no morphism extending $d$ in the first place. Therefore, the functorial method is very suitable to prove \emph{negative} existence for morphisms. Sometimes, however, there is a theorem showing that some set of invariants completely characterizes a problem hence being able to show positive existence or uniqueness for maps or spaces. For the uniqueness for morphisms, it is enough to show that $F$ is faithful and that there is at most one solution for the existence problem in the target category. Faithful functors in this context are rare, but it is sufficient for $F$ to be faithful on some subcategory $A_p$ of $A$ containing at least all morphisms which are the possible candidates for the solution of the particular existence problem for morphisms.

\hypertarget{overview_of_methods}{}\subsection*{{Overview of methods}}\label{overview_of_methods}

The archetypical example is the classification of [[surfaces]] via their [[Euler characteristic]]. But as this example already shows, algebraic topology tends to be less about [[topological spaces]] themselves as rather about the [[homotopy types]] which they [[homotopy hypothesis|present]]. Therefore the topological invariants in question are typically homotopy invariants of spaces with some exceptions, like the [[shape theory|shape invariants]] for spaces with bad local behaviour.

Hence modern algebraic topology is to a large extent the application of algebraic methods to [[homotopy theory]].

A general and powerful such method is the assignment of [[homology]] and [[cohomology]] [[groups]] to topological spaces, such that these [[abelian groups]] depend only on the [[homotopy type]]. The simplest such are [[ordinary homology]] and [[ordinary cohomology]] groups, given by [[singular simplicial complexes]]. This way algebraic topology makes use of tools of [[homological algebra]].

The [[axiom|axiomatization]] of the properties of such [[cohomology]] group assignments is what led to the formulation of the trinity of concepts of \emph{[[category]]}, \emph{[[functor]]} and \emph{[[natural transformations]]}, and algebraic topology has come to make intensive use of [[category theory]].

In particular this leads to the formulation of [[generalized (Eilenberg-Steenrod) cohomology]] theories which detect more information about classes of homotopy types. By the [[Brown representability theorem]] such are represented by [[spectra]] (generalizing [[chain complexes]]), hence [[stable homotopy types]], and this way algebraic topology comes to use and be about [[stable homotopy theory]].

Still finer invariants of [[homotopy types]] are detected by further refinements of these ``algebraic'' structures, for instance to [[multiplicative cohomology theories]], to [[equivariant homotopy theory]]/[[equivariant stable homotopy theory]] and so forth. The construction and analysis of these requires the intimate combination of algebra and homotopy theory to [[higher category theory]] and [[higher algebra]], notably embodied in the [[universal algebra|universal]] higher algebra of [[operads]].

The central tool for breaking down all this [[higher algebra|higher algebraic]] data into computable pieces are [[spectral sequences]], which are maybe the main heavy-lifting workhorses of algebraic topology.

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

\begin{itemize}%
\item [[basic problems of algebraic topology]], [[topology]], [[differential topology]]
\item [[homotopy theory]], [[shape theory]], [[nonabelian algebraic topology]], [[rational homotopy theory]]
\item [[homotopy lifting property]], [[Hurewicz fibration]], [[Hurewicz connection]], [[Serre fibration]]
\item [[homotopy extension property]], [[Hurewicz cofibration]], [[deformation retract]]
\item [[suspension]], [[loop space]], [[mapping cylinder]], [[mapping cone]], [[mapping cocylinder]]
\item [[cohomology]], [[spectrum]], [[Brown representability theorem]]
\item [[fundamental group]], [[fundamental groupoid]]
\item [[homotopy group]], [[Eckmann-Hilton duality]], [[H-space]], [[Whitehead product]]
\item [[topological K-theory]], [[complex cobordism]], [[elliptic cohomology]], [[tmf]]
\item [[CW complex]], [[CW approximation]], [[simplicial complex]], [[simplicial set]]
\item [[model category]], [[model structure on topological spaces]], [[homotopy category]]
\item [[fibration sequence]], [[cofibration sequence]]
\item [[Freudenthal suspension theorem]], [[Whitehead theorem]]

\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

Textbooks include

\begin{itemize}%
\item [[Robert Switzer]], \emph{Algebraic Topology - Homotopy and Homology}, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975.


\item [[Peter May]], \emph{[[A concise course in algebraic topology]]}


\item [[Peter May]], [[Kate Ponto]], \emph{[[More concise algebraic topology]]}


\item [[Allen Hatcher]], \emph{\href{https://www.math.cornell.edu/~hatcher/AT/ATpage.html}{Algebraic Topology}}



\end{itemize}
Lecture notes include

\begin{itemize}%
\item [[Michael Hopkins]] (notes by [[Akhil Mathew]]), \emph{algebraic topology -- Lectures} (\href{http://people.fas.harvard.edu/~amathew/ATnotes.pdf}{pdf})


\item [[Friedhelm Waldhausen]], \emph{Algebraische Topologie} I (\href{https://www.math.uni-bielefeld.de/~fw/at.pdf}{pdf}) , II (\href{https://www.math.uni-bielefeld.de/~fw/at_II.pdf}{pdf}), III (\href{https://www.math.uni-bielefeld.de/~fw/at_III.pdf}{pdf}) (\href{https://www.math.uni-bielefeld.de/~fw/}{web})


\item Davis, \emph{Lecture notes in algebraic topology} (\href{http://www.indiana.edu/~jfdavis/teaching/m623/book.pdf}{pdf})



\end{itemize}
A textbook with an emphasis on [[homotopy theory]] is in

\begin{itemize}%
\item Marcelo Aguilar, [[Samuel Gitler]], Carlos Prieto, \emph{Algebraic topology from a homotopical viewpoint}, Springer (2002) (\href{http://tocs.ulb.tu-darmstadt.de/106999419.pdf}{toc pdf})

\end{itemize}
A comprehensive survey of various subjects in algebraic topology is in

\begin{itemize}%
\item [[Ioan Mackenzie James]], \emph{[[Handbook of Algebraic Topology]]} 1995

\end{itemize}
Further online resources include

\begin{itemize}%
\item \href{http://mathoverflow.net/questions/18041/algebraic-topology-beyond-the-basicsany-texts-bridging-the-gap}{a thread on this at MathOverflow}.

\end{itemize}
Brief indications of open questions and future directions (as of 2013) of [[algebraic topology]] and [[stable homotopy theory]] are in

\begin{itemize}%
\item [[Tyler Lawson]], \emph{The future}, Talbot lectures 2013 (\href{http://math.mit.edu/conferences/talbot/2013/19-Lawson-thefuture.pdf}{pdf})

\end{itemize}


\end{document}