Finn Lawler HomePage (Rev #9)

This is the personal web of Finn Lawler within the nLab.

Please feel free to leave a comment on anything you find here. Here is how to do it. You can also add a comment on this nForum thread.

Here is a list of stuff I’m planning to work on here:

Assorted 2-Categorical Stuff:

2-categorical miscellany?: explanations of things I want to understand, and definitions etc. that nobody seems to have written down before.

My Thesis:

realizability?
- regular logic?, regular fibration
- equipment?, cartesian equipment?
logical predicate?
reducibility candidate?

Other Stuff (possibly for use in thesis, possibly not):

Just so I don’t forget, here’s a couple of papers that I want to understand:

Applegate–Tierney, Categories with models, LNM 80
Kennison–Gildenhuys, Equational completion, model-induced triples and pro-objects, JPAA 1(4), doi, MR306289

including their relationship with shape theory and some stuff on pro- and ind-objects in chapter six of Stone Spaces.

See References for details of other works cited here.

Revision on June 11, 2012 at 21:50:03 by Anonymous?. See the history of this page for a list of all contributions to it.