Category theory is 1% of all mathematics.
Our approach will be relevant to the other 99% of mathematics and to other domains with rich semantics. Potential application areas include biotechnology, medicine, programming, and other subject areas.
We can help you extract knowledge that is buried in documentation, archives, and other sources.
We can help you develop new interaction on top of the extracted knowledge. A tutoring system? Simulations?