First Page | Document Content | |
---|---|---|
Date: 2005-05-20 10:56:44Categorical logic William Lawvere Category of sets Topos Categorical set theory Morphism Function Axiom of choice Metric Mathematics Category theory Mathematical logic | Add to Reading ListSource URL: www.tac.mta.caDownload Document from Source WebsiteFile Size: 260,71 KBShare Document on Facebook |