𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lindenbaum algebras of intuitionistic theories and free categories

✍ Scribed by Peter Freyd; Harvey Friedman; Andre Scedrov

Publisher
Elsevier Science
Year
1987
Tongue
English
Weight
462 KB
Volume
35
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

KK -theory of amalgamated free products
KK -theory of amalgamated free products of C *-algebras
✍ Rune Eliasen πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 171 KB

## Abstract J. Cuntz has conjectured the existence of two cyclic six terms exact sequences relating the __KK__ ‐groups of the amalgamated free product __A__ ~1 βˆ—οΈ __B__~ __A__ ~2~ to the __KK__ ‐groups of __A__ ~1~, __A__ ~2~ and __B__. First we establish automatic existence of strict and absorbin

Galois Algebras and Monoidal Functors be
Galois Algebras and Monoidal Functors between Categories of Representations of Finite Groups
✍ A.A Davydov πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 194 KB

We use relations between Galois algebras and monoidal functors to describe monoidal functors between categories of representations of finite groups. We pay special attention to two kinds of these monoidal functors: monoidal functors to vector spaces and monoidal equivalences between categories of re