This is the personal web of [[nLab:Finn Lawler]] within the [[nLab:HomePage|nLab]]. Please feel free to leave a comment on anything you find here. [Here](/nlab/show/HowTo#query) is how to do it. You can also add a comment on [this nForum thread](http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=2434). 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]] * ... Other Stuff (possibly for use in thesis, possibly not): * [[Linton's theorem]] * [[lax 2-adjunction]] (see also [[nLab: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), <a href="http://dx.doi.org/10.1016/0022-4049(71)90001-6">doi</a>, [MR306289](http://www.ams.org/mathscinet-getitem?mr=306289) including their relationship with [[nLab: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.