Finn Lawler HomePage (Rev #2, changes)

This is the personal web of Finn Lawler within the nLab.

Please feel free to leave a comment on anything you find here. Here 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 equipments? and regular fibrations

• Linton's theorem?

• more to come…