The unoriented bordism theory $MO$ has a map to $H\mathbb{F}\_2$ which is easily described for a space $X$ by pushing forward the fundamental class of a singular manifold to $H\_\*(X)$. Since $MO$ and $H\mathbb{F}\_2$ both factor through chain complexes, it is tempting to ask if this can be realized as a map of chain complexes. I believe this is unlikely because although all smooth manifolds admit a triangulation, this obviously cannot be done naturally. However, this makes me wonder about the following:


For a space $X$, let $D\_n(X)$ denote the set of pairs $(M,f)$ where $M$ is a smooth manifold with a specified triangulation and $f$ is a map from $M$ into $X$. This is a chain complex by letting the boundary map take a manifold to its boundary. Denote the nth homology of this chain complex by $MT\_n(X)$ (meant to stand for triangulated bordism). Alternatively, I believe we can describe $D\_n(X)$ as tuples $(M,f,\sigma)$ where $(M,f)$ is a singular manifold and $\sigma$ is a cycle lifting the fundamental class $[M]$ subject to a few conditions.


Recall that one can describe $H\mathbb{F}\_2(X)$ as the homology of the chain complex $C(X)$ where $C\_n(X)$ is the set of pairs $(S,f)$ where $S$ is a simplicial complex that is the union of its n-simplices and $f$ is a map from $S$ into $X$. The boundary operator takes $S$ to the union of n-1 simplices that are incident to an odd number of n-simplices.


There is a chain map $i:D(X) \rightarrow C(X)$ given by forgetting the fact that the domain of $f$ is a manifold. As well, we may also forget the triangulation to get a map $j$ from $D(X)$ to the chain complex of singular manifolds. Since every smooth manifold has a triangulation, $j$ (hence $j\_\*$) is surjective. This implies $i\_\*$ is surjective since it factors through $j\_\*$ and the map $MO \rightarrow H\mathbb{F}\_2$.


(1) Is $MT$ a homology theory?


(2) Supposing (1), is $MT$ a wedge of $H\mathbb{F}\_2$?


(3) Supposing (1), is $MT$ a pullback of $H\mathbb{F}\_2$ and $MO$?



Relation between "triangulated bordism", MO, and $H\mathbb{F}_2$
There is an implicit assumption in your question, namely that one can define a chain complex calculating the functor $X\mapsto MO\_\*(X)$ which is based on maps from unoriented manifolds into $X$. As far as I know, this is not known to be the case. Though, as you point out, since $MO$ is a wedge sum of shifts of copies of $H\mathbb F\_2$, it's at least remotely possible that such a complex exists. It would have to be very special, though, since most (all?) other bordism theories are not wedge sums of Eilenberg--MacLane spectra.


The following obvious thing to try definitely **does not** work: take $C^{MO}\_\*(X):=$ the free $\mathbb F\_2$ vector space on all isomorphism classes of pairs $(M,f)$ where $M$ is a compact unoriented manifold with boundary and $f:M\to X$ (with the obvious boundary map $\partial(M,f):=(\partial M,f|\_{\partial M})$). The homology $H^{MO}\_\*(X)$ is not $MO\_\*(X)$, even for $X=\operatorname{pt}$. Indeed, $MO\_1(\operatorname{pt})=0$ (every $1$-manifold is null cobordant), whereas there is a nontrivial cycle in $C^{MO}\_1(\operatorname{pt})$ given by the interval $[0,1]$ equipped with the constant map to $\operatorname{pt}$. This cycle cannot be a boundary, since the only boundaries in $C^{MO}\_\*$ are maps from closed manifolds.


There are, of course, a few variations one could try on the above construction, but there are also what seem to me to be a number of fundamental difficulties. Suppose we start by taking as generators pairs $(M,f:M\to X)$ with $M$ closed (these having zero boundary). To get a bordism theory as the homology, clearly we want to also add in $M$ with boundary, so that cobordant manifolds are homologous. But this creates many new cycles! Namely, we could have some formal sum $c$ of manifolds with boundary such that the terms comprising $\partial c$ all cancel (like $[0,1]$ in the example above). Moreover, there may be many different ways of realizing this cancelling geometrically by gluing together the given manifolds comprising $c$ to create a closed manifold. Note that there's no good reason that all of these resulting manifolds to be cobordant! This is somewhat unnerving, but things are about to get worse. If we forge ahead and add in isomorphism classes of pairs $(M,f:\to X)$ where $M$ is allowed to have corners, then given a cycle in this chain complex, it's no longer even clear whether it makes sense to glue up the resulting manifolds in a consistent way (note that I have written *isomorphism classes* here---this is very important: without these words the generators wouldn't even form a set). This issue can be remedied by fixing a set of manifolds with corners and *consistent identifications* of their boundary strata with other manifolds with corners on the same list. For example, this is exactly what we do to define singular homology! (take the manifolds with corners to be $\Delta^n$). I had to do something like this in section 8.7.1 of [this paper](https://arxiv.org/abs/1309.2370), to calculate singular homology. But this seems likely to just give singular homology no matter how you do it, not any bordism theory.


