catinf.comAbout company
Categorical Informatics was spun out of the MIT Mathematics Department in the fall of 2015 and is supported by SBIR grants from the National Institute for Standards and Technology (NIST) and I-Corp grants from the National Science Foundation (NSF). Its technology performs data-integration tasks — such as querying, combining, and evolving databases — using category theory, a branch of mathematics that has already revolutionized several areas of computer science. Category theory allows our software to be maximally data-quality preserving in a precise mathematical sense, and it allows our software to catch large classes of errors at compile time that existing tools can only check at runtime, if at all. Because half of all data integration projects fail, and such projects can cost millions of dollars, AQL's high-assurance characteristics can substantially reduce cost and risk.
