Cartmell's PhD Thesis

[Marco Vergura]

Hello everybody!

As the title suggests, I was wondering if there is an available on-line version of Cartmell's PhD thesis "Generalised algebraic theories and contextual categories". I know there is a namesake paper, but sometimes there are references there to the PhD thesis work which I would like to consult. Specifically, I am interested in the construction of the quasi-inverse to the "syntactic category" functor C: Gat---> Con, which is mentioned in Section 14 of Cartmell's paper (here GAT is the category of Generalsed Algebraic Theories and Con is the category of contextual categories).

Thanks in advance for any help.

[Bas Spitters]

Discussion:
https://groups.google.com/forum/#!topic/HomotopyTypeTheory/ADFRJJb4v2I

PDF:
www.cs.ru.nl/~spitters/Cartmell.pdf
www.cs.ru.nl/~spitters/Cartmell.djvu


Texify:
https://github.com/peterlefanulumsdaine/cartmell-thesis

> --
> You received this message because you are subscribed to the Google Groups
> "HoTT Cafe" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to hott-cafe+...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

[Marco Vergura]

Thanks a lot for the resources!

[Hendrik Boom]

On Thu, Jan 07, 2016 at 09:26:14PM +0100, Bas Spitters wrote:
> Discussion:
> https://groups.google.com/forum/#!topic/HomotopyTypeTheory/ADFRJJb4v2I

>
> PDF:
> www.cs.ru.nl/~spitters/Cartmell.pdf

This on downloaded fine, but was almost 100 megabytes! It appears to be
a scan of a typed mnuscript with hand corrections. I didn't know anyone
did that any more.



> www.cs.ru.nl/~spitters/Cartmell.djvu

This one gave me a 404:

Connecting to www.cs.ru.nl (www.cs.ru.nl)|131.174.16.176|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2016-01-08 22:07:28 ERROR 404: Not Found.

Looks like it isn't there any more.



> > Texify:
> https://github.com/peterlefanulumsdaine/cartmell-thesis

And this one was only 46K. It appears to be a github page, probaby best
looked at with a browser rather than downloaded as a web page.

-- hendrik

[Mark Farrell]

On a somewhat related note, it looks like Peter Lumsdaine started a GitHub project a while ago to re-write / re-digitize Cartmell's PhD thesis to make it more accessible?

https://github.com/peterlefanulumsdaine/cartmell-thesis

[Dan Christensen]

The pdf file that Bas linked to is 93MB. At

http://jdc.math.uwo.ca/cartmell/

there are three new versions. The file ...-letter.pdf is the same as
the pdf file Bas linked to, but resized to be on letter paper. This is
needed for various compression strategies to work, since they are often
based on dpi, and the original was on very large pages.

The file ...-smallpdf.pdf has the letter version run through the online
smallpdf.com site, and is 26MB instead of 93MB. The OCR Bas did is
retained.

The file ...-pdfsandwich.pdf is only 15MB, and is still very clear on
screen. But the OCR got removed and redone in the process, and I don't
think it ended up as good as the original OCR.

If someone has access to decent OCR software, they could try to run it
on the 15MB file. If it works, we'd end up with a much smaller file
still with good OCR.

In the meantime, I recommend the 26MB version if you want a searchable
pdf, and the 15MB version otherwise.

Dan