This is an overview on Serre-Swan theorem and some ideas on the construction of K-groups for a Banach category. Serre-Swan theorem establishes equivalences between the categories of topological vector bundles over a compact Hausdorff space , the category of finitely generated projective
-modules and the categories of algebraic vector bundles of finite rank over
the affine scheme . This theorem connects different objects of interest in K-theory.
It also introduces some ideas on the construction of K-groups for a Banach category and
in particular for compact topological spaces and Banach algebras.
This is my course thesis for Algebraic Topology II at UIUC.