Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: deprecated: recommendations

Topic: recent theses in CT


view this post on Zulip Joe Moeller (May 05 2020 at 19:10):

I'd like to look over some recent (~5 years) theses in CT. I'd most prefer pure and non-infinity CT, but I don't think I should be too picky. I'd greatly appreciate recommendations :slight_smile:

view this post on Zulip John Baez (May 05 2020 at 19:25):

Of course there are those of your fellow students.

view this post on Zulip Arthur Parzygnat (May 05 2020 at 19:33):

John Baez said:

Of course there are those of your fellow students.

I was not aware of the work of Gilliam on discrete symplectic geometry nor Alvarez on Gelfand--Naimark. Thanks for this!

view this post on Zulip John Baez (May 05 2020 at 19:34):

Sure! By the way, he insists on Carrión Álvarez as his last name - you know how those Spaniards are.

view this post on Zulip Arthur Parzygnat (May 05 2020 at 19:36):

John Baez said:

Sure! By the way, he insists on Carrión Álvarez as his last name - you know how those Spaniards are.

Thanks, I am always confused by these things. When it's two names I can somewhat remember (except in some cultures they're read in the other direction). But then we have middle names, first last names, and second last names, oh my!

view this post on Zulip John Baez (May 05 2020 at 19:38):

Yes.

view this post on Zulip Arthur Parzygnat (May 05 2020 at 20:13):

Most of the theses I'm aware of have some applications in mind or are infinity-focused :thinking:
Remy Tuyeras http://www.researchonline.mq.edu.au/vital/access/manager/Repository/mq:43485
Paolo Perrone http://www.paoloperrone.org/phdthesis.pdf
Kenta Cho http://group-mmm.org/~kenta/papers/thesis.pdf
Chris Heunen (more than 5 years old though) https://homepages.inf.ed.ac.uk/cheunen/publications/2009/thesis/thesis.pdf
There are a bunch from the Oxford group here: http://www.cs.ox.ac.uk/people/bob.coecke/Theses.html

view this post on Zulip John Baez (May 05 2020 at 20:25):

Is it possible that "pure category theory" is a bit inactive right now, with most of the emphasis going toward applications and infinity-categories?

view this post on Zulip Alexander Campbell (May 05 2020 at 21:23):

John Baez said:

Is it possible that "pure category theory" is a bit inactive right now, with most of the emphasis going toward applications and infinity-categories?

Not at all. For evidence, take a look at the recent PhD theses from CoACT, some of which can be found here: http://web.science.mq.edu.au/~street/Students.html

view this post on Zulip Alexander Campbell (May 05 2020 at 23:52):

Joe Moeller said:

I'd like to look over some recent (~5 years) theses in CT. I'd most prefer pure and non-infinity CT, but I don't think I should be too picky. I'd greatly appreciate recommendations :slight_smile:

Here is a list of the PhD theses written by students at the Centre of Australian Category Theory in 2015--2019:

Matthew Burke, Synthetic Lie theory http://hdl.handle.net/1959.14/1068205
Mitchell Buckley, Three studies in higher category theory: fibrations, skew monoidal structures and excision of extremals http://hdl.handle.net/1959.14/1068202
Rémy Tuyéras, Sketches in higher category theory http://hdl.handle.net/1959.14/1061373
Alexander Campbell, A higher categorical approach to Giraud’s non-abelian cohomology http://hdl.handle.net/1959.14/1261186
Ramón Abud Alcalá, Oplax actions and enriched icons with applications to coalgebroids and quantum categories http://hdl.handle.net/1959.14/1267344
Poon Leung, Tangent bundles, monoidal theories, and Weil algebras http://hdl.handle.net/1959.14/1260669
Christopher Nguyen, Parity structure on associahedra and other polytopes http://hdl.handle.net/1959.14/1266294
Branko Nicolić, Morphisms of 2-dimensional structures with applications http://hdl.handle.net/1959.14/1266304
Edoardo Lanari, Homotopy theory of Grothendieck ∞-groupoids and ∞-categories http://hdl.handle.net/1959.14/1269609
Charles Walker, Structures in two dimensional category theory and applications to polynomial functors http://hdl.handle.net/1959.14/1270211
Daniel Lin, Restriction presheaves and restriction colimits http://hdl.handle.net/1959.14/1269712