ABC Education brings you high-quality educational content to use at home and in the classroom. All our resources are free and mapped to the Australian Curriculum. Stay informed and connected with the ...

These are notes for the talk I’m giving at the Edinburgh Category Theory Seminar this Wednesday, based on work with Joe Moeller and Todd Trimble. (No, the talk will not be recorded.) They still have ...