Finn Lawler HomePage (Rev #10, changes)

Showing changes from revision #9 to #10: 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:

  • 2-categorical miscellany?: explanations of things I want to understand, and definitions etc. that nobody seems to have written down before.

My Thesis:

  • realizability?

  • logical predicate?

  • reducibility candidate?

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

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.

See References for details of other works cited here.

Bola Hantu

buah naga

toko grosir baju online

Gamis Modern

Jasa SEO

Jasa SEO Murah

Aplikasi Android

Sepatu Online

Toko Sepatu Online

Sepatu

Sepatu Safety

Bisnis Pulsa

Cheapes

Acquistare Notebook

Hostgator Coupon

Link Booking

Televisori offerte

Notebook Offerte

Govr

Edo Ziedo

Portatile Apple

Acquisto macchine Fotografiche

RDAnet

Lorks

Karikatur

Revision on June 12, 2012 at 10:58:58 by Andrew Stacey?. See the history of this page for a list of all contributions to it.