Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
double graphs
double graphs
Jul 24, 2025
1 min read
Double graphs
are signatures for strict
double categories
.
Graph View
Backlinks
double category