initial code for topos of actions (commented out)
updated README with link to new presentation