Calling all scientists

[pozorvlak]

Can you please cast your eyes over this (173KB pdf) and give me a sanity check? To whatever level you can: if you understand the material and can critique it on that level, great, but if all you can do is check that I haven't absent-mindedly written "I am a fish" 500 times or left a "fill this bit in later" somewhere then that's wonderful.

If you're not sure whether this applies to you, it does.

Thanks!

Comments

[randomchris.livejournal.com]

Your diagram at the bottom of page 3 appears to have some overlapping symbols (between the two curved arrows in the bottom right-hand corner). The same symbols in the first diagram on page 4 are also overlapping slightly.

[susannahf.livejournal.com]

Agreed. There's also overlapping in the top left-hand corner of the diag in Def 2.8 (bottom p3). Is the last diag on p8 meant to be lined up like that?

Yes, I just looked at the diagrams. I tried to read it, but my eyes did that slipping off the page thing after about a paragraph... Which is not to say that it's hard to read, just that I really really don't understand maths at that level ;)

On the upside though, there were no matches found when I searched for "fish"

[pozorvlak.livejournal.com]

I'm not happy with the last diagram on p8, but I don't know how to fix it. The idea is that every arrow (think "function") of a certain form has a "transpose", and we write "f is the transpose of g" as

f: A → UB
--------------
g: FA → B

or vice-versa. The transpose of the transpose of an arrow is the arrow itself. So I'm starting with an arrow, taking its transpose, showing that that's equal to something else and taking the transpose of this new thing, leaving me with something equal to the arrow I started with. The notation's standard in the field. Ideally, I'd like the lines to be a bit shorter.

[johnckirk.livejournal.com]

Yeah, I had the same trouble of this being beyond my level, despite phrases like "in the obvious way" or "it is easy to extend". I also had the same reaction to the last diagram on page 8, i.e. it looks as if it's misaligned, even if it's supposed to be like that; this may not be a problem for people who understand the maths involved.

[pozorvlak.livejournal.com]

Grargh. Most of those had actual proofs in, which my supervisor suggested I take out! Journals "prefer a condensed style", apparently :-) The proofs will be going in the thesis.

[pozorvlak.livejournal.com]

Great, thanks. That'll require a bit of grovelling in the manual to fix, but shouldn't be too hard.