## References * Bill Lawvere, [[axiomatic cohesion]], [pdf](http://www.tac.mta.ca/tac/volumes/19/3/19-03.pdf) * Anders Kock, calculus of extensive quantities, [arXiv:1105.3405](http://arxiv.org/abs/1105.3405) * Anders Kock, monads and extensive quantities, [arXiv:1103.6009](http://arxiv.org/abs/1103.6009)