This paper introduces Gm, which is a category for extensive-form games. It also provides some applications. The category's objects are games, which are understood to be sets of nodes which have been endowed with edges, information sets, actions, players, and utility functions. Its arrows are...

This paper specifies an extensive form as a 5-ary relation (i.e. set of quintuples) which satisfies certain abstract axioms. Each quintuple is understood to list a player, a situation (e.g. information set), a decision node, an action, and a successor node. Accordingly, the axioms are understood...

The current literature formally links "OR forms" (named after Osborne and Rubinstein 1994) with "KS forms" (named after Kuhn and Selten by Kline and Luckraz 2016). It also formally links "simple forms" with "AR forms" (both from Alós-Ferrer and Ritzberger 2016, with the former less prominent...