Skip to content

Commit 243d30f

Browse files
committed
Update README
1 parent b9c9d52 commit 243d30f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -127,6 +127,7 @@ FynX satisfies specific universal properties from category theory, guaranteeing
127127

128128

129129
The functoriality property guarantees that lifted functions preserve composition:
130+
130131
$$
131132
\mathcal{O}(\mathrm{id}) = \mathrm{id} \quad \mathcal{O}(g \circ f) = \mathcal{O}g \circ \mathcal{O}f
132133
$$

0 commit comments

Comments
 (0)