  The neighborhood complex of a graph was introduced by Lov\'asz to provide
topological lower bounds on chromatic number. More general homomorphism
complexes of graphs were further studied by Babson and Kozlov. Such `Hom
complexes' are also related to mixings of graph colorings and other
reconfiguration problems, as well as a notion of discrete homotopy for graphs.
Here we initiate the detailed study of Hom complexes for directed graphs
(digraphs). For any pair of digraphs graphs $G$ and $H$, we consider the
polyhedral complex $\text{Hom}(G,H)$ that parametrizes the directed graph
homomorphisms $f: G \rightarrow H$. Hom complexes of digraphs have applications
in the study of chains in graded posets and cellular resolutions of monomial
ideals. We study examples of directed Hom complexes and relate their
topological properties to certain graph operations including products,
adjunctions, and foldings. We introduce a notion of a neighborhood complex for
a digraph and prove that its homotopy type is recovered as the Hom complex of
homomorphisms from a directed edge. We establish a number of results regarding
the topology of directed neighborhood complexes, including the dependence on
directed bipartite subgraphs, a digraph version of the Mycielski construction,
as well as vanishing theorems for higher homology. The Hom complexes of
digraphs provide a natural framework for reconfiguration of homomorphisms of
digraphs. Inspired by notions of directed graph colorings we study the
connectivity of $\text{Hom}(G,T_n)$ for $T_n$ a tournament. Finally, we use
paths in the internal hom objects of digraphs to define various notions of
homotopy, and discuss connections to the topology of Hom complexes.
