圏論からみるイベントソーシング

イベントソーシングの定義の普遍的なパターンを提示します。

制約として、必要な射影とコマンドインターフェースのセットを想定します。このような制約に基づいて、既知の全ての実装に写像される、独自の構造があることがわかります。

この構造の重要な発見は、トランザクション・スコープを普遍モデルに定義し、イベントストアの実装は独立している必要があるという事実です。