sketchddd-core
| Crates.io | sketchddd-core |
| lib.rs | sketchddd-core |
| version | 0.1.0 |
| created_at | 2025-11-29 22:38:53.469061+00 |
| updated_at | 2025-11-29 22:38:53.469061+00 |
| description | Core categorical semantics and data structures for SketchDDD |
| homepage | |
| repository | https://github.com/ibrahimcesar/SketchDDD |
| max_upload_size | |
| id | 1957619 |
| size | 41,283 |
Ibrahim Cesar (ibrahimcesar)
documentation
README
sketchddd-core
Core categorical semantics and data structures for SketchDDD.
Overview
This crate provides the mathematical foundation for SketchDDD, modeling Domain-Driven Design concepts using category theory. A bounded context is represented as a sketch S = (G, E, L, C) where:
G: Directed graph (objects and morphisms)E: Path equations (business rules)L: Limit cones (aggregates, value objects)C: Colimit cocones (sum types, enumerations)
DDD to Category Theory Mapping
| DDD Concept | Categorical Structure |
|---|---|
| Bounded Context | Sketch |
| Ubiquitous Language | Graph + Equations |
| Entity | Object with identity morphism |
| Value Object | Limit with structural equality |
| Aggregate | Limit cone with root |
| Invariant | Equalizer |
| Context Map | Sketch morphism |
License
Licensed under either of MIT or Apache-2.0 at your option.