In the TFT classification article by Jacob Lurie (arXiv:0905.0465) the (∞,n)-category of correspondences (there: $Fam_n$) plays a key role, whose $k$-morphisms are $k$-fold spans of $\infty$-groupoids sliced over a suitable coefficient object $\mathcal{C}$.

Motivated by some notes we had made on "Local prequantum field theory", recently Rune Haugseng considered in detail (arXiv:1409.0837) the evident generalization of this where the collection of $\infty$-groupoids is replaced by any other $\infty$-topos. The key properties of the construction are preserved under this generalization, in particular this is still an (∞,n)-category with duals.

It seems plausible that, similarly, essentially all the relevant statements regarding topological field theories with coefficients in such correspondences in any $\infty$-topos will still hold. I am specifically interested in a sanity check of this for the following statement:

First of all, combining prop. 3.2.8 in arXiv:0905.0465 with theorem 2.4.18 there and applying it to the special case that $\mathcal{C}$ is an $\infty$-groupoid (with duals), yields the neat statement that unoriented "local prequantum field theories with phases in $\mathcal{C}$"

$$ Z_L \;\colon\; Bord_n^\sqcup \longrightarrow Fam_n(\mathcal{C})^\otimes $$

are equivalent to the choice of an $\infty$-groupoid $F$ equipped with $O(n)$-$\infty$-action and with an $O(n)$-equivariant map

$$ L \;\colon\; F \longrightarrow \mathcal{C} \,, $$

where $\mathcal{C}$ is equipped with the canonical $O(n)$-action induced via theorem 2.4.6 in the above text. An equivalent way to say this is that $L$ induces a horizontal map fitting into

$$ \array{ F/\!/O(n) && \stackrel{L/\!/O(n)}{\longrightarrow} && \mathcal{C}/\!/O(n) \\ & \searrow && \swarrow_{canonical} \\ && B O(n) } $$

(where the double slash denotes homotopy quotients).

This makes it very manifest that this statement has an immediate analogue with all $\infty$-groupoids replaced by objects of any $\infty$-topos $\mathbf{H}$ (with $B O(n)$ regarded as the inverse image under the terminal geometric morphism of that $\infty$-topos of the homotopy type of the usual classifying space). Now one considers $Fam_n^{\mathbf{H}}(\mathcal{C})$ being the $(\infty,n)$-category of $n$-fold $\mathcal{C}$-phased correspondences, now all inside $\mathbf{H}$, and so forth. And $O(n)$-$\infty$-actions on $F \in \mathbf{H}$ are equivalent to homotopy fiber sequences in $\mathbf{H}$ of the form $F \to F/\!/O(n) \to B O(n)$. But let me maybe restrict attention to the case that $\mathcal{C}$ is still a bare $\infty$-groupoid (similarly embedded into $\mathbf{H}$ under the terminal inverse image).

Is it then still true for general $\mathbf{H}$ that monoidal $(\infty,n)$-functors

$$ Bord_n^\sqcup \longrightarrow Fam_n^{\mathbf{H}}(\mathcal{C})^\otimes $$

are equivalent to diagrams of the form

$$ \array{ F/\!/O(n) && \stackrel{L/\!/O(n)}{\longrightarrow} && \mathcal{C}/\!/O(n) \\ & \searrow && \swarrow_{{canonical}} \\ && B O(n) } $$

in $\mathbf{H}$?

(In case it matters, I am happy to assume that the terminal inverse image of $\mathbf{H}$ is fully faithful.)