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
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
3works
4topics
4close collaborators
Published work
3 publications
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.
Open access
preprint2009arXiv
The FGF-conjecture for pseudocompact algebras
The paper has been withdrawn due to a crucial error in section 3.
Open access
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.