projects
/
cubicaltt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
28ae754
)
minor
author
Anders Mörtberg
<andersmortberg@gmail.com>
Sat, 20 May 2017 09:56:41 +0000
(11:56 +0200)
committer
Anders Mörtberg
<andersmortberg@gmail.com>
Sat, 20 May 2017 09:56:41 +0000
(11:56 +0200)
lectures/lecture2.ctt
patch
|
blob
|
blame
|
history
diff --git
a/lectures/lecture2.ctt
b/lectures/lecture2.ctt
index 607397eb635fa4edc8f18675e8a19fb89a78574a..cb0926c70043caf76947b087fd250306a06ef3ee 100644
(file)
--- a/
lectures/lecture2.ctt
+++ b/
lectures/lecture2.ctt
@@
-116,7
+116,7
@@
interior of the square:
<i> a
Here i corresponds to the left-to-right dimension and j corresponds to
-the down-to-up dimension. To compute the left and right
endpoint
s just
+the down-to-up dimension. To compute the left and right
side
s just
plug in i=0 and i=1 in the term inside the square:
<j> p @ 0 /\ j = <j> p @ 0 = <j> a (recall that p is a path from a to b)