Organize and update research from your AI app.

Connect your AI app to organize notes, import research, and update projects.

Example project

Games as recursive coalgebras

Goals Open Questions Main

Research goals

Describe combinatorial games using coalgebras.
Understand how game operations arise from this description.

Open Questions

01
Why does nim addition appear?
Relate the sum of games to their recursive structure.
Conjecture
02
Which games admit this description?
Find the assumptions needed for the construction.
Idea

Definitions and results

The recursive structure of a game

Record definitions, proofs, and references here. Keep the questions that remain open in Open Questions.