We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces will be locally modelled on manifold diagrams, which are stratifications of the ncube such that strata are transversal to the flag foliation of the ncube. The first part of this thesis develops a combinatorial language for manifold diagrams called singular ncubes. In the second part we apply this language to build our notions of higher categories. Singular ncubes can be thought of as "flagfoliationcompatible" stratifications of the ncube, such that strata are "stable" under projections from the (k + 1) to the kcube, together with a functorial assignment of data to strata. The definition of singular ncubes is inductive, with (n + 1)cubes being defined as combinatorial bundles of ncubes over the (stratified) interval. The combinatorial structure of singular ncubes can be naturally organised into two categories: SI//^{n}_{C}, whose morphisms are bundles themselves, and Cube^{n} _{C} , whose morphisms are inductively defined as base changes of bundles. The former category is used for the inductive construction of singular ncubes. The latter category describes the following interactions of these cubes. There is a subcategory of "open" base changes, which topologically correspond to open maps of bundles. We show this subcategory admits an (epi,mono) factorisation system. Monomorphism will be called embeddings and describe how cubes can be embedded in one another such that strata are preserved. Epimorphisms will be called collapses and describe how strata can be can be refined. Two cubes are equivalent if there is a cube that they both refine. We prove that each "equivalence class" (that is, the connected component of the subcategory generated by epimorphisms) has a terminal object, called the collapse normal form. Geometrically speaking the existence of collapse normal forms translates into saying that any combinatorially represented manifold diagram has a unique coarsest stratification, making the equality relation between manifold diagrams decidable and computer implementable. As the main application of the resulting combinatorial framework for manifold diagrams, we give algebraic definitions of various notions of higher categories. In particular, we define associative ncategories, presented associative ncategories and presented associative ngroupoids. The first depends on a theory of sets, while the latter two do not, making them a step towards a framework for working with general higher categories in a foundationindependent way. All three notions will have strict units and associators. The only "weak" coherences which are present will be called homotopies. We propose that this is the right conceptual categorisation of coherence data: homotopies are essential coherences, while all other coherences can be uniformly derived from them. As evidence to this claim we define presented weak ncategories, and develop a mechanism for recovering the usual coherence data of weak ncategories, such as associators and pentagonators and their higher analogues. This motivates the conjecture that the theory of associative higher categories is equivalent to its fully weak counterpart.
