Finn Lawler Finn Lawler

This is the personal web of Finn Lawler within the nLab. I’ll put here stuff that I’m working on that doesn’t really fit on the main nLab, or that I want to keep separate for attribution reasons (i.e. thesis material). Links to nonexistent pages are here just so I don’t forget to write them.

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:

My Thesis:

• thesis outline

Other Stuff:

• Linton's theorem?

• lax 2-adjunction? (see also lax 2-adjunction on nLab)

• more to come…

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.