Ha, yeah. They spend much of the book developing categories that are simultaneously rich enough to be topos-theoretically interesting and simple enough to reason about their properties/consequences. Recently, another friam member got me thinking about locales[Ɏ], the toy categories presented by Lawvere and Schanuel have been helpful to me in reasoning about them.
[Ɏ] From https://ncatlab.org/nlab/show/locale: A locale is, intuitively, like a topological space that may or may not have enough points (or even any points at all). -- Sent from: http://friam.471366.n2.nabble.com/ - .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
