Linear Hyperdoctrines and Comodules
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.
Source author record
Mariana Haim
Mariana Haim appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
3works
4topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
3 published item(s)
preprint2013arXiv
Some constructions of compact quantum groups
The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer pairs -- with special emphasis in the finite dimensional situation. We give conditions, in some cases necessary and sufficient, to extend to the new objects the original compact structure. We illustrate the results in the case of matched pairs of groups.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
The FGF-conjecture for pseudocompact algebras
The paper has been withdrawn due to a crucial error in section 3.
0 citations0 reviewsNo code linkedOpen access