lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

Build status: ok passing tests

README Download
Authors
Documentation
    Tags
    Last updatedFriday, March 12th, 2021 3:26:52am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/lathe/lathe-morphisms-for-racket.git?path=lathe-morphisms-lib#main422f0c5f5c5bc58d950d54886f26eb27d56d3061
    Last checkedFriday, October 22nd, 2021 7:42:52pm (UTC)
    Last editedFriday, March 12th, 2021 3:26:52am (UTC)
    Date addedThursday, January 9th, 2020 1:09:06am (UTC)
    Modules
    • lathe-morphisms/private/logic.rkt
    • lathe-morphisms/private/shim.rkt
    • lathe-morphisms/in-fp/set.rkt
    • lathe-morphisms/private/in-fp/in-fp.rkt
    • lathe-morphisms/in-fp/category.rkt
    • lathe-morphisms/in-fp/mediary/set.rkt
    • lathe-morphisms/private/algebra/conceptual.rkt
    • lathe-morphisms/private/algebra/morphisms-as-values.rkt