✦ LIBER ✦

Galois Connections in Categorial Type Logic

✍ Scribed by Carlos Areces; Raffaella Bernardi; Michael Moortgat

Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 445 KB
Volume: 53
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82570-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Pure Galois theory in categories

✍ George Janelidze 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 776 KB

Galois Theory in Symmetric Monoidal Cate

Galois Theory in Symmetric Monoidal Categories

✍ George Janelidze; Ross Street 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 99 KB

N-Categories in Logic

✍ Agustin Riscos; Luis M. Laita 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 512 KB

Some Galois Connections in Elementary Nu

Some Galois Connections in Elementary Number Theory

✍ J. Lambek 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 225 KB

We study some Galois connections between partially ordered sets of interest in arithmetic: the natural numbers and the integers ordered by magnitude or by divisibility. 1994 Academic Press, Inc

Implementing logical connectives in cons

Implementing logical connectives in constraint programming

✍ Christopher Jefferson; Neil C.A. Moore; Peter Nightingale; Karen E. Petrie 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 562 KB

Models for homotopyn-types in diagram ca

Models for homotopyn-types in diagram categories

✍ Antonio R. Garzón; Jesús G. Miranda 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 629 KB

The classical Mac Lane-Whitehead equivalence showing that crossed modules of groups are algebraic models of connected homotopy 2-types has found a corresponding equivariant version by Moerdijk and Svensson ([22]). In this paper we show that this equivariant result has a higherdimensional version whi