Update src/foundation/functoriality-function-types.lagda.md

UniMath · Feb 26, 2024 · e92ed5a · e92ed5a
1 parent 93d4161
commit e92ed5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/foundation/functoriality-function-types.lagda.md b/src/foundation/functoriality-function-types.lagda.md
@@ -117,7 +117,7 @@ pr1 (emb-postcomp f A) = postcomp A (map-emb f)
 pr2 (emb-postcomp f A) = is-emb-postcomp-is-emb (map-emb f) (is-emb-map-emb f) A
 ```
 
-### Postcomp cones
+### Postcomposition cones
 
 ```agda
 postcomp-cone :