  In this thesis we define the notion of a locally stratified space. Locally
stratified spaces are particular kinds of streams and d-spaces which are
locally modelled on stratified spaces. We construct a locally presentable and
cartesian closed category of locally stratified spaces that admits an
adjunction with the category of simplicial sets. Moreover, we show that the
full subcategory spanned by locally stratified spaces whose associated
simplicial set is a quasicategory has the structure of a category with fibrant
objects. We define the fundamental category of a locally stratified space and
show that the canonical functor from the fundamental category of a simplicial
set to the fundamental category of its realisation is essentially surjective.
We show that such a functor sends split monomorphisms to isomorphisms, in
particular we show that it is not necessarily an equivalence of categories. On
the other hand, we show that the fundamental category of the realisation of the
simplicial circle is equivalent to the monoid of the natural numbers. To
conclude, we define left covers of locally stratified spaces and we show that,
under suitable assumptions, the category of representations of the fundamental
category of a simplicial set is equivalent to the category of left covers over
its realisation.
