Finn Lawler HomePage (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

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. You can also add a comment on this nForum thread.

Here is a list of stuff I’m planning to work on here:

My Thesis:

• realizability?

• logical predicate?

• reducibility candidate?

Other Stuff (possibly for use in thesis, possibly not):

• cartesian equipment?, regular fibration

• Linton's theorem?

• lax 2-adjunction? (see also 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) 1(4),doi, MR306289

including their relationship with shape theory and some stuff on pro- and ind-objects in chapter six of Stone Spaces.