Projects

1. 1

   🎮Games as recursive coalgebras

   Hhora

   Recursive coalgebras, game values, and the categorical structure of combinatorial games.

   24 notes
2. 1

   Rieg theory

   Hhora

   Semirings with exponentiation, connecting arithmetic, logic, and categorical counting.

   9 notes