Showing changes from revision #0 to #1: Added | Removed | Changed
This page is for material relevant to my Ph.D. thesis — I will try to sketch the important bits here as I write up the document itself.
Pages:
regular logic?, regular fibration
allegory, bicategory of relations?
equipment?, cartesian equipment?
…
Revision on October 31, 2012 at 02:57:03 by Finn Lawler?. See the history of this page for a list of all contributions to it.