Bill Lawvere, axiomatic cohesion, pdf
Anders Kock, calculus of extensive quantities, arXiv:1105.3405
Anders Kock, monads and extensive quantities, arXiv:1103.6009