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]] * [[logical predicate]] * [[reducibility candidate]] 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_. <a href="http://www.seoweblog.net">Jasa SEO</a> <a href="http://www.seoweblog.net">Jasa SEO Murah</a> <a href="http://www.seoweblog.net">SEO Indonesia</a> <a href="http://www.seoweblog.net">SEO</a> <a href="http://www.bisnisukm.biz">Bisnis UKM</a> <a href="http://www.tertinggal.com">Tertinggal</a> <a href="http://www.bisnismodalkecil.org">Bisnis Modal Kecil</a> <a href="http://www.cheapes.info">Cheapes</a> <a href="http://www.hostgator-coupon.co">Hostgator Coupon</a> <a href="http://www.linkbooking.info">Link Booking</a> <a href="http://www.televisoriofferte.info">Televisori offerte</a> <a href="http://www.notebook-offerte.info">Notebook Offerte</a> <a href="http://www.govr.info">Govr</a> <a href="http://www.ezido.info">Edo Ziedo</a> <a href="http://www.portatileapple.info">Portatile Apple</a> <a href="http://www.rdanet.info">RDAnet</a> <a href="http://www.lorks.info">Lorks</a> <a href="http://www.karikaturmurah.com">Karikatur</a> <a href="http://www.pusatsepatuonline.com">Sepatu Online</a> <a href="http://www.pusatsepatuonline.com">Toko Sepatu Online</a> <a href="http://www.pusatsepatuonline.com">Sepatu</a> <a href="http://www.pusatsepatuonline.com">Sepatu Safety</a> See [[References]] for details of other works cited here.