Skip to content

Commit f8c0b5e

Browse files
lawrencerowlandlawrencerowland
authored
Merge pull request #35 from lawrencerowland/codex/add-new-app-and-link-it
Add Geometry of Interaction token-chasing visualization app
2 parents 84cc793 + 0c0d751 commit f8c0b5e

2 files changed

Lines changed: 1122 additions & 0 deletions

File tree

‎app-index.csv‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,3 +4,4 @@
44
3,presheaves-and-opposite-categories,explains why pre sheaves are a functor from the Opposite category using a node colouring example,Claude,Sonnet 3.5,"presheaves, functors",,
55
4,functors-as-objects,why sometimes to see functors as objects,Claude,Sonnet 3.5,"functors, arrow_category",,
66
5,functors-models-natural-transformations,showing how Natural transformations allow you to move between models ,Claude,Sonnet 3.6,"operad, models, natural_transformations, functors",,
7+
6,geometry-of-interaction,token-chasing diagram for GoI composition as cut and execution,User,,"geometry of interaction, category theory, visualization",,

0 commit comments

Comments
 (0)