changed title of paper
better remark in formalization
added applicability of adjunction to quotient-eq adjunction in long version
short is now copy of intro
uk vs us spelling
future conclusions
correct typos
added remark about long version to short version
rename coinit to term in table
short version
short
removed some comments
removed comments
[update] formal table
edited README
Merge remote-tracking branch 'origin/master'
added file about hott coinductives
clarify in hott-co
added sentence about rlation between axiomatic and coinductive
give a def in hott-co