lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

Build status: ok passing tests missing license metadata

README Download
Documentation
    Tags
    License
      Last updatedMonday, January 24th, 2022 6:43:56am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/lathe/lathe-morphisms-for-racket.git?path=lathe-morphisms-lib#main07e4a0c299e1f015e531acf51393e6f8fd8d7354
      Last checkedMonday, June 5th, 2023 11:48:19am (UTC)
      Last editedFriday, March 12th, 2021 3:26:52am (UTC)
      Date addedThursday, January 9th, 2020 1:09:06am (UTC)
      Modules
      • lathe-morphisms/in-fp/category.rkt
      • lathe-morphisms/private/shim.rkt
      • lathe-morphisms/in-fp/set.rkt
      • lathe-morphisms/private/logic.rkt
      • lathe-morphisms/in-fp/mediary/set.rkt
      • lathe-morphisms/private/algebra/morphisms-as-values.rkt
      • lathe-morphisms/private/in-fp/in-fp.rkt
      • lathe-morphisms/private/algebra/conceptual.rkt