mirror of
https://github.com/hablapps/DontFearTheProfunctorOptics.git
synced 2024-08-16 12:30:25 +03:00
Fixed another minor typo
Corrected "trough" to "through", and then changed "pass through" to "pass-through".
This commit is contained in:
parent
074bfbf8ce
commit
1e52acb7a3
@ -179,7 +179,7 @@ to be implicit in our diagram representation. The second law `dimap assoc assoc'
|
||||
|
||||
This representation seems more complex, but in essence, it states that nesting
|
||||
`first`s doesn't break previous law. This is implicit in the diagram as well,
|
||||
where `b` and `c` simply pass trough, regardless of the nested boxes in the
|
||||
where `b` and `c` simply pass-through, regardless of the nested boxes in the
|
||||
upper case.
|
||||
|
||||
### Cocartesian
|
||||
|
Loading…
Reference in New Issue
Block a user