Core varieties, extensivity, and rig geometry. Lawvere, F.William — 2008 Theory and Applications of Categories [electronic only]
Axiomatic cohesion. Lawvere, F.William — 2007 Theory and Applications of Categories [electronic only]
Functorial concepts of complexity for finite automata. Lawvere, F.William — 2004 Theory and Applications of Categories [electronic only]