We propose the new concept of Krivine ordered combinatory algebra (KOCA) as foundation for the categorical study of Krivineâ€™s classical realizability, as initiated by Streicher (2013). We show thatâ€¦ (More)

An important well-known result of Rota describes the relationship between the MÃ¶bius functions of two posets related by a Galois connection. We present an analogous result relating the antipodes ofâ€¦ (More)

In this article â€“that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavorâ€“ weâ€¦ (More)

In this article â€“that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavorâ€“ weâ€¦ (More)

The purpose of this paper is to consider some basic constructions in the category of compact quantum groups â€“for example the case of extensionsâ€“ with special emphasis in the finite dimensionalâ€¦ (More)

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalenceâ€¦ (More)

In a biFrobenius algebra H , in particular in the case that H is a finite dimensional Hopf algebra, the antipode S : H â†’ H can be decomposed as S =tcâ—¦cÏ† where cÏ† : H â†’ H âˆ— and tc : H âˆ— â†’ H are theâ€¦ (More)