From e92ed5a3777dee18f49f1525e9e09d33b607a395 Mon Sep 17 00:00:00 2001 From: Fredrik Bakke Date: Mon, 26 Feb 2024 12:40:14 +0100 Subject: [PATCH] Update src/foundation/functoriality-function-types.lagda.md --- src/foundation/functoriality-function-types.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/foundation/functoriality-function-types.lagda.md b/src/foundation/functoriality-function-types.lagda.md index ba25f8ce88..98ca040496 100644 --- 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 :