Tap/click a node to see its categorical typing (domain/codomain) and its induced dependencies.
View: Proc
In Side‑by‑Side, the left panel is Proc and the right is Dep.
The slider animates a “ghost copy” of each process drifting from its position-as-morphism to its position-as-task.
Categorical reading (what you are looking at)
Proc is the category where:
- Objects are project states/resources (blue).
- Morphisms are processes that transform those states (teal).
- Composition is “do this process, then that process”, when outputs match the next inputs.
- Monoidal product (not fully diagrammed) is parallel composition of independent processes.
Dep is a derived, thin category (poset-like) where:
- Objects are the processes viewed as tasks (yellow).
- Morphisms are precedence relations (edges) induced by composability in Proc.
- Composition is transitive closure (if A ≺ B and B ≺ C then A ≺ C).
This prototype builds Dep from Proc by checking “does output of process p feed an input of q?”. Going back (from dependencies to full processes/states) is intentionally underdetermined.
Selection
Selected
—
In Proc
—
In Dep
—
Tip: click a teal process in Proc (left) or a yellow task in Dep (right). In side‑by‑side, both will highlight.
Generated structure
The typed morphisms in Proc and the precedence edges in Dep (computed from Proc).