CATEGORICAL HOMOTOPY

Abstract

We present a homotopy theory of small categories. In a work of this nature there is a need to give a theory which is clear and which shows the methods of work in this field. It is also necessary to prove theorems which place the theory within the general framework of homotopy, i.e. particularly to liaise with the homotopy of topological spaces and with abstract homotopy theories. Firstly we define the important notion of finite functor on which the theory is based. Next we introduce a type of fibred category fitting to the work on homotopy. After having studied the paths and loops of a category, we consider homotopy between functors. Finally, we demonstrate the possibility of obtaining homotopy groups before taking into consideration the relations between categorical and topological homotopy.