𝔖 Bobbio Scriptorium
✦   LIBER   ✦

CATEGORICAL ASPECTS OF POWER ALGEBRAS

✍ Scribed by Bargenda, H. W.; Brink, C.; Vajner, V.

Book ID
118173453
Publisher
Taylor and Francis Group
Year
1993
Tongue
English
Weight
639 KB
Volume
16
Category
Article
ISSN
1607-3606

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Categorical and algebraic aspects of Mar
Categorical and algebraic aspects of Martin-LΓΆf Type Theory
✍ Adam ObtuΕ‚owicz πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 939 KB

In the paper there are introduced and discussed the concepts of an indexed category with quantifications and a higher level indexed category to present ~tn algebraic characterization of some version of Martin-L6f Type Theory. This characterization.is given by specifying an additional equational stru

Categorical aspects of equivariant homot
Categorical aspects of equivariant homotopy
✍ Jean-Marc Cordier; Timothy Porter πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 790 KB

We use the language of homotopy coherent ends and coends, and of homotopy coherent Kan extensions, to give enriched versions of results of Elmendorff. This enables a description of the homotopy type of the space of maps between two G-complexes to be given.