Showing changes from revision #11 to #12:
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:
Assorted 2-Categorical Stuff:
My Thesis:
realizability?
regular logic?, regular fibration
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.