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, either here or on the main nLab: * [[realizability]] * [[cartesian equipment|cartesian equipments]] and [[regular fibration|regular fibrations]] * [[Linton's theorem]] * more to come...