  We introduce the category of C*-discrete inclusions of C*-algebras $(A\subset
B,\ E)$ with a conditional expectation $E:B\twoheadrightarrow A$. The
C*-discrete class includes many examples such as finite Watatani index
inclusions, and also abundant infinite index inclusions like crossed products
by outer actions of discrete (quantum) groups, cores of Cuntz algebras
$\sf{UHF}_{n^\infty}\subset \mathcal{O}_n$, and certain $A$-valued semicircular
systems. In our main result, we prove irreducible $(A'\cap B= \mathbb{C}1)$
C*-discrete inclusions are precisely crossed products by outer actions of
unitary tensor categories and certain C*-algebra objects. In analogy with
subfactors, one should view the tensor category, its action, and the C*-algebra
object as the standard invariant for a C*-discrete inclusion. Conversely, we
show every abstract standard invariant is realized by some C*-discrete
inclusion, which is a C*-analogue of Popa's result for subfactors. We also
obtain a Galois correspondence between the lattice of intermediate C*-discrete
inclusions $A\subseteq D\subseteq B$ and the lattice of C*-algebra objects
supported on $A\subset B$, and characterize the former as targets of compatible
conditional expectations $B\twoheadrightarrow D$. Finally, we show that if the
action of the UTC is ``free" in certain sense and $A$ is simple, then the
resulting crossed product remains simple.
