Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 4ab01a8

Browse files
Merge pull request #30 from vinassefranche/fix-some-bad-headers
Fix what I suspect are wrong headers
2 parents e45de5a + 80e16c2 commit 4ab01a8

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2854,7 +2854,7 @@ In every morphism, both `A` and `B` are members of `Objects`. We write `f: A ⟼
28542854

28552855
**Note**. For simplicity, from now on, I'll use labels only for objects, skipping the circles.
28562856

2857-
**Part II (Composition)**
2857+
### Part II (Composition)
28582858

28592859
There is an operation, ``, called "composition", such as the following properties hold true:
28602860

@@ -3357,7 +3357,7 @@ From now on, unless specified differently, when we write "functor" we mean an en
33573357
33583358
Now we know the practical side of functors, let's see the formal definition.
33593359
3360-
### Definition
3360+
## Definition
33613361
33623362
A functor is a pair `(F, map)` where:
33633363

0 commit comments

Comments
 (0)