Finn Lawler HomePage (Rev #11)

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:

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 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), doi, MR306289

including their relationship with shape theory and some stuff on pro- and ind-objects in chapter six of Stone Spaces. Jasa SEO Jasa SEO Murah SEO Indonesia SEO Bisnis UKM Tertinggal Bisnis Modal Kecil Cheapes Hostgator Coupon Link Booking Televisori offerte Notebook Offerte Govr Edo Ziedo Portatile Apple RDAnet Lorks Karikatur Sepatu Online Toko Sepatu Online Sepatu Sepatu Safety

See References for details of other works cited here.