✦ LIBER ✦

Coherence in cartesian closed categories and the generality of proofs

✍ Scribed by M. E. Szabo

Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 617 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370826

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The category of finite sets and Cartesia

The category of finite sets and Cartesian closed categories

✍ S. V. Solov'ev 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 992 KB

Heredity and cartesian closed coreflecti

Heredity and cartesian closed coreflective subcategories of the category of topological spaces

✍ Juraj Činčura 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 359 KB

Semantics of the typed λ-calculus with s

Semantics of the typed λ-calculus with substitution in a cartesian closed category

✍ John W. Gray 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

Coherent anti-Stokes Raman scattering: f

Coherent anti-Stokes Raman scattering: from proof-of-the-principle experiments to femtosecond CARS and higher order wave-mixing generalizations

✍ A. M. Zheltikov 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB 👁 1 views

A proof and applications of the expansio

A proof and applications of the expansion theorem for the Rossby normal modes in a closed rectangular basin

✍ Akira Masuda 📂 Article 📅 1987 🏛 Springer Japan 🌐 English ⚖ 441 KB

Are numbers special? Comparing the gener

Are numbers special? Comparing the generation of verbal materials from ordered categories (months) to numbers and other categories (animals) in an fMRI study

✍ Anja Ischebeck; Stefan Heim; Christian Siedentopf; Laura Zamarian; Michael Schoc 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 387 KB

## Abstract Months, days of the week, and numbers differ from other verbal concepts because they are ordered in a sequence, whereas no order is imposed on members of other categories, such as animals or tools. Recent studies suggest that numbers activate a representation of their quantity within th