𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A duality for polynomial functors

✍ Scribed by Vincent Franjou; Jeffrey H. Smith


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
416 KB
Volume
104
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Functor category dualities for varieties
✍ B.A. Davey; M.R. Talukder πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 228 KB

Let A be a ΓΏnitely generated variety of Heyting algebras and let SI(A) be the class of subdirectly irreducible algebras in A. We prove that A is dually equivalent to a category of functors from SI(A) into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.

Semi-identifying Lifts and a Generalizat
✍ Rudolf-E. Hoffmann πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 771 KB

In f 1 we introduce the concept of V-semi-identifying lift (V-semi-idt. lift) generalizing our concept of V-idt. lift [8], whose specific properties we want to discuss in another paper, and at the same time generalizing WYLER'S concept of V-proclusion pair [is]. We characterize those functors V : C

A Completion Functor for Ordered Cauchy
✍ D. C. Kent; R. Vainio πŸ“‚ Article πŸ“… 1989 πŸ› John Wiley and Sons 🌐 English βš– 548 KB

A completion functor is constructed on a completion subcategory of the category of ordered CAUCHY spaces which preserves regularity, total boundedness, and uniformizability. Objects in the completion subcategory include the uniformizoble ordered CAUCHY apacea and the c'-embedded CAUCEY spaces with d

A quantifier for matroid duality
✍ T.A. McKee πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science 🌐 English βš– 480 KB

A quantikr is introduced on the elements e, , . .". The sr;qtroid dual of this quantifier is sholvn to be identical with its logkal dual, and this provides an elegant reformulation of Minty's sd2lf+iual axiomatization of mat&is. This approach also provides a practical, and in a sense optimal, n~ans