Skip to content

Commit

Permalink
remove superfluous 'note:'
Browse files Browse the repository at this point in the history
  • Loading branch information
aaguinal committed Mar 30, 2024
1 parent e7e347f commit cb646b7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion chp7-dpo-application.md
Original file line number Diff line number Diff line change
Expand Up @@ -397,7 +397,7 @@ put_cheese_on_bread_rule = make_rule(put_cheese_on_bread, yKitchen)
```

:::{note}
Note: Relative to our other examples, this schema has substantially more object and morphisms which would require a burdensome amount of syntax to define an `ACSetTransformation` for `l` and `r`. Instead, we can compute the colimit of representables [^1] and infer the homomorphism maps, `l` and `r`. This functionality is subsumed in `make_rule()`.
Relative to our other examples, this schema has substantially more object and morphisms which would require a burdensome amount of syntax to define an `ACSetTransformation` for `l` and `r`. Instead, we can compute the colimit of representables [^1] and infer the homomorphism maps, `l` and `r`. This functionality is subsumed in `make_rule()`.
:::

```{figure} assets/Ch7/KitchenDPO.png
Expand Down

0 comments on commit cb646b7

Please sign in to comment.