BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

lau-category-theory

v0.1.0crates.io· Rust

Abstract category theory in Rust — categories, functors, natural transformations, adjunctions, limits, colimits, monads, and the Yoneda lemma, with an agent-protocol composition application.

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
1 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
  • 0.1.0this month
lau-category-theory — Abstract category theory in Rust — categories, functors, natural transformations, adjunctions, limits, colimits, monads, and the Yoneda lemma, with an agent-protocol composition application. (Rust / crates.io) — verdict, alternatives & security · Modules