Remarks on C*-discrete inclusions

We obtain a Galois correspondence between the lattice of intermediate C*-discrete subalgebras intermediate to a given irreducible C*-discrete inclusion, and characterize these as targets of compatible expectations under a traciality condition. Furthermore, we define freeness for actions of tensor categories on C*-algebras, and show simplicity is preserved under taking reduced crossed products. Finally, we show under certain constraints that A-valued semicircular systems give rise to C*-discrete inclusions, and thus are crossed products by an action of a tensor category. Along the way, we show the set of single algebraic generators of a dualizable bimodule forms an open subset.