Bauer, KristineCockett, RobinLemay, Jean-Simon2017-05-012017-05-0120172017http://hdl.handle.net/11023/3764Differential categories are now a well-studied abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: integration. This thesis presents an analogous study of integral categories. Integral categories give an abstraction of integration by axiomatizing extra structure on a symmetric monoidal categories with a coalgebra modality using the primary rules of integration. The axioms for integrations include the analogues of integration by parts rule, also called the Rota-Baxter rule, the independence of the order of iterated integrals and that integral of any constant map is linear. We expect consequences of the compatible interaction between integration and differentiation to include the two fundamental theorems of calculus. A differential category with integration which satisfies these two theorem in a suitable sense is what we call a calculus category.engUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.MathematicsDifferential CategoriesIntegral CategoriesCalculus CategoriesFundamental Theorems of CalculusLinear LogicCategory TheoryCalculusmaster thesis10.11575/PRISM/26565