2 Sequoidal Categories and Transfinite Games 1 . 1 Defining Higher-order Stateful Objects , Coalgebraically