𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Calculus of Terms for Coalgebras of Polynomial Functors

✍ Scribed by Robert Goldblatt

Book ID
108498399
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
257 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Obstruction Calculus for Functors of Art
Obstruction Calculus for Functors of Artin Rings, I
✍ Barbara Fantechi; Marco Manetti πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 340 KB

In this paper we define and study obstruction theories for morphisms of functors of Artin rings. We prove the existence of a universal obstruction theory, and we give explicit criteria for completeness and for linearity. As applications, we extend several results in the literature, removing the fini

A Formalisation of an β„΅0-Valued Proposit
A Formalisation of an β„΅0-Valued Propositional Calculus with Variable Functors
✍ John Jones πŸ“‚ Article πŸ“… 1982 πŸ› John Wiley and Sons 🌐 English βš– 272 KB

A FORMALISATION O F AN N,-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS by JOHN JONES in Nottingham (Great Britain) There has been given in [ 2 ] a complete formalisation of the ni-valued ( 2 ?H < N,) propositional calculus with 1 designated truth-value in which the primitive symbols are pro