Main Page

From CI Wiki
Jump to: navigation, search

Categorical Informatics

Categorical informatics provides a high-assurance data integration and model management software tool called AQL.

This work in progress wiki contains AQL-related documentation. While it is under construction, viewer are encouraged to check out:

The links below are works in progress.

Why AQL?

AQL in practice

Theory behind AQL