Color logic can form the basis of an education and research program.

It’s a visual language, so we need a drawing app.

Though it doesn’t quite exist yet, the app can be simple: a grid of points, auto-drawing lines and rectangles, auto-filling colors, and substitution of syntax; plus an organized database.

To support the development of this app, and the education materials, requires funding. Many people in tech want to understand category theory, and networking in the Bay Area will likely be fruitful.

Please send all ideas to [email protected].

Besides these, the top priority is to share this project as a community. There will be two seminars, one education and one research.

There will be a calendar on this site.

If we meet and share an understanding of the Logic or Metalogic projects, you can join the Notion team to join in developing the wiki.