Showing changes from revision #14 to #15:
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
…
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 come… withsentimancho…
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.