lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedSaturday, January 18th, 2025 2:30:17pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/lathe/lathe-morphisms-for-racket.git?path=lathe-morphisms-lib#main61ab0150e196695454ffec86529a36a1eeabff81
Last checkedMonday, February 10th, 2025 12:16:59pm (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/mediary/set.rkt
  • lathe-morphisms/private/algebra/conceptual.rkt
  • lathe-morphisms/in-fp/set.rkt
  • lathe-morphisms/private/in-fp/in-fp.rkt
  • lathe-morphisms/private/logic.rkt
  • lathe-morphisms/private/algebra/morphisms-as-values.rkt