  The literature specifies extensive-form games in many styles, and eventually
I hope to formally translate games across those styles. Toward that end, this
paper defines $\mathbf{NCF}$, the category of node-and-choice forms. The
category's objects are extensive forms in essentially any style, and the
category's isomorphisms are made to accord with the literature's small handful
of ad hoc style equivalences.
  Further, this paper develops two full subcategories: $\mathbf{CsqF}$ for
forms whose nodes are choice-sequences, and $\mathbf{CsetF}$ for forms whose
nodes are choice-sets. I show that $\mathbf{NCF}$ is "isomorphically enclosed"
in $\mathbf{CsqF}$ in the sense that each $\mathbf{NCF}$ form is isomorphic to
a $\mathbf{CsqF}$ form. Similarly, I show that $\mathbf{CsqF_{\tilde a}}$ is
isomorphically enclosed in $\mathbf{CsetF}$ in the sense that each
$\mathbf{CsqF}$ form with no-absentmindedness is isomorphic to a
$\mathbf{CsetF}$ form. The converses are found to be almost immediate, and the
resulting equivalences unify and simplify two ad hoc style equivalences in
Kline and Luckraz 2016 and Streufert 2019.
  Aside from the larger agenda, this paper already makes three practical
contributions. Style equivalences are made easier to derive by [1] a natural
concept of isomorphic invariance and [2] the composability of isomorphic
enclosures. In addition, [3] some new consequences of equivalence are
systematically deduced.
