𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A short proof of the localic groupoid representation of Grothendieck toposes

✍ Scribed by Townsend, Christopher F.

Book ID
121875915
Publisher
American Mathematical Society
Year
2013
Tongue
English
Weight
164 KB
Volume
142
Category
Article
ISSN
0002-9939

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A proof of the Grothendieck inequality
A proof of the Grothendieck inequality
✍ Ronald E. Rietz πŸ“‚ Article πŸ“… 1974 πŸ› The Hebrew University Magnes Press 🌐 English βš– 211 KB
A short proof of representability of for
A short proof of representability of fork algebras
✍ Viktor Gyuris πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 752 KB

In this paper a strong relationship is demonstrated between fork algebras and quasi-projective relation algebras. With the help of Tarski's classical representation theorem for quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. As a by-product