There are many different notions of stratified spaces. This thesis concerns homotopically stratified spaces. These were defined by Frank Quinn in his paper Homotopically Stratified Sets ([16]). His definition of stratified space is very general and relates strata by “homotopy rather than geometric conditions”. This makes homotopically stratified spaces the ideal class of stratified spaces on which to define and study stratified homotopy theory. In the study of stratified spaces it is useful to examine spaces of popaths (paths which travel from lower strata to higher strata) and holinks (those spaces of popaths which immediately leave a lower stratum for their final stratum destination). It is not immediately clear that for adjacent strata these two path spaces are homotopically equivalent and even less clear that this equivalence can be constructed in a useful way. The first aim of this thesis is to prove such an equivalence exists for homotopically stratified spaces. We will define stratified analogues of the usual definitions of maps, homotopies and homotopy equivalences. Then we will provide an elementary criterion for deciding when a strongly stratified map is a stratified homotopy equivalence. This criterion states that a strongly stratified map is a stratified homotopy equivalence if and only if the induced maps on strata and holink spaces are homotopy equivalences. Using this criterion we will prove that any homotopically stratified space is stratified homotopy equivalent to a homotopically stratified space where neighborhoods of strata are mapping cylinders. Finally we will develop categorical descriptions of the class of homotopically stratified spaces up to stratified homotopy. The first of these categorical descriptions will involve categories with a topology on their object and morphism sets. The second categorical description will involve only categories with discrete object spaces.