  We introduce categories $\M$ and $\S$ internal in the tricategory $\Bicat_3$
of bicategories, pseudofunctors, pseudonatural transformations and
modifications, for matrices and spans in a 1-strict tricategory $V$. Their
horizontal tricategories are the tricategories of matrices and spans in $V$.
Both the internal and the enriched constructions are tricategorifications of
the corresponding constructions in 1-categories. Following \cite{FGK} we
introduce monads and their vertical morphisms in categories internal in
tricategories. We prove an equivalent condition for when the internal
categories for matrices $\M$ and spans $\S$ in a 1-strict tricategory $V$ are
equivalent, and deduce that in that case their corresponding categories of
(strict) monads and vertical monad morphisms are equivalent, too. We prove that
the latter categories are isomorphic to those of categories enriched and
discretely internal in $V$, respectively. As a byproduct of our tricategorical
constructions we recover some results from \cite{Fem}. Truncating to
1-categories we recover results from \cite{CFP} and \cite{Ehr} on the
equivalence of enriched and discretely internal 1-categories.
