Linear Hyperdoctrines and Comodules
Logic
2016-12-21 v1
Abstract
In this exposition, we get examples of what is called a "linear hyperdoctrine", based on categories of comodules indexed by coalgebras. This structures can model first order linear logic.
Keywords
Cite
@article{arxiv.1612.06602,
title = {Linear Hyperdoctrines and Comodules},
author = {Mariana Haim and Octavio Malherbe},
journal= {arXiv preprint arXiv:1612.06602},
year = {2016}
}