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. Here is a list of stuff I'm planning to work on here: * [[realizability]] * [[logical predicate]] * [[reducibility candidate]] * [[cartesian equipment]], [[regular fibration]] * [[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) including their relationship with [[nLab:shape theory]] and some stuff on pro- and ind-objects in chapter six of _Stone Spaces_.