Searched: **Category *Theory[^A-Za-z]**

Results from Transform web

Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...

SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html

Number of topics: **2**