Open Internet by MindsNet

Category Theory Implementation Tools

Hidden implementation tools for category theory and abstract mathematical structures.

Mathematics & logic, Logic & Reasoning, Formal Logic