Linear Hyperdoctrines and Comodules
classification
🧮 math.LO
keywords
linearcomodulescalledcategoriescoalgebrasexamplesexpositionfirst
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.