Categories, Topoi, and Logic
Part of the Computational Music Science book series (CMS)
For a comprehensive introduction to category theory, see . For topos theory and sheaves see , for topos theory and logic, see .
Unable to display preview. Download preview PDF.
© Springer International Publishing AG, part of Springer Nature 2017