search

HoTT / book

A textbook on informal homotopy type theory
2.03k stars 359 forks source link

tikz diagrams #488

Closed EgbertRijke closed 10 years ago

EgbertRijke commented 10 years ago

Would it be worthwile to convert all the xy-diagrams to tikzcd-diagrams? Most of them look ok currently but the long exact sequences could be typeset much better, as in this tex.stackexchange answer for example.

mikeshulman commented 10 years ago

What's better about a curvy arrow than a straight one?

EgbertRijke commented 10 years ago

They have better control over where the arrow points to with the [in=..,out=..] option. Sometimes our diagonal arrows touch the next one, sometimes not. It seems to be not very consistent (or consistent in the wrong way maybe) to me.

mikeshulman commented 10 years ago

I don't know what you're talking about, can you refer to a specific diagram? On Oct 15, 2013 12:12 PM, "EgbertRijke" notifications@github.com wrote:

They have better control over where the arrow points to with the [in=..,out=..] option. Sometimes our diagonal arrows touch the next one, sometimes not. It seems to be not very consistent (or consistent in the wrong way maybe) to me.

— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/488#issuecomment-26363466 .

EgbertRijke commented 10 years ago

The diagrams in section 8.5 on page 269 of hott-online.

mikeshulman commented 10 years ago

They look fine to me; what's the problem again?

andrejbauer commented 10 years ago

I think converting diagrams from (the very standard) xypic to the not-so-standard tikzcd is a lot of work for very little benefit. Let's not do this.

andrejbauer commented 10 years ago

Is there a diagram which you think could be massively improved?

mikeshulman commented 10 years ago

No discussion has happened on this issue for a month, so I'm closing it. @EgbertRijke, if you want to explain further what you think could be improved, feel free to reopen.