3 search results for "tag:"category theory""

Showing 1 - 3
  1. An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  2. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  3. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020