Hhora

ZEN大学助教・HUMAIセンター研究員

ZEN大学助教。圏論を中心に数学を研究しています。

ORCID iD · researchmap · arXiv author page · Homepage

Projects

1. 1

   🎮Games as recursive coalgebras

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

   24 notes
2. 1

   Rieg theory

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

   9 notes