cat

A category theory toolkit for Racket.

Build status: ok passing tests valid license

Download
Authors
Documentation
    Tags
    License
    Last updatedThursday, June 5th, 2025 3:52:24am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit+https://github.com/NoahStoryM/cat1d3f590dafe7c889d73fbbc28b8d01707a771a2e
    Last checkedSaturday, November 1st, 2025 9:50:47pm (UTC)
    Last editedWednesday, June 4th, 2025 9:56:15am (UTC)
    Date addedMonday, June 2nd, 2025 9:45:49am (UTC)
    Modules
    • category/unit/Set/type.rkt
    • category/signature/distributive.rkt
    • category/unit/Set/function.rkt
    • category/unit/tests/Set.rkt
    • category/unit/Set.rkt
    • category/signature/terminal.rkt
    • category/signature/category.rkt
    • category/signature/coproduct.rkt
    • category/signature/product.rkt
    • category/unit/Set/main.rkt
    • category/signature/initial.rkt