Morrisett, Greg GregoryWisnesky, Ryan2014-02-252014-02-252013Wisnesky, Ryan. 2014. Functional Query Languages with Categorical Types. Doctoral dissertation, Harvard University.http://dissertations.umi.com/gsas.harvard:11288http://nrs.harvard.edu/urn-3:HUL.InstRepos:11744455We study three category-theoretic types in the context of functional query languages (typed lambda-calculi extended with additional operations for bulk data processing). The types we study are:en-USComputer scienceCategory TheoryFunctional Query LanguagesFunctorial Data MigrationHigher-order LogicThesis or Dissertation2014-02-25