1 9 D ec 1 99 6 GRAPH - BASED LOGIC AND SKETCHES II : FINITE - PRODUCT CATEGORIES AND EQUATIONAL LOGIC ( PRELIMINARY REPORT )

نویسنده

  • ATISH BAGCHI
چکیده

In [Wells, 1990] the second author introduced the notion of form, a graph-based method of specification of mathematical structures that generalizes Ehresmann’s sketches. In [Bagchi and Wells, 1996], the authors produced a structure for forms which provides a uniform proof theory based on finite-limit constructions for many types of forms, including all types of sketches and also forms that can specify higherorder structures in cartesian closed categories and toposes (among many others). The parameter in the proof theory that determines the types of constructions that can be made is the constructor space. For example, the constructor space for cartesian closed categories (with specified structure) is the finite-limit theory CCC for cartesian closed categories. In particular for the concerns of the present paper, the constructor space for structures that can be specified by finite products is a finitelimit theory FinProd for categories with specified finite products. This theory is described explicitly in [Bagchi and Wells, 1996]. Each finite product form F is given by a syntactic category denoted by SynCat[FinProd, F ]. The logical structure in [Bagchi and Wells, 1996] identifies a statement as a potential factorization in SynCat[FinProd, F ], which is a diagram of the form

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gains from diversification on convex combinations: A majorization and stochastic dominance approach

By incorporating both majorization theory and stochastic dominance theory, this paper presents a general theory and a unifying framework for determining the diversification preferences of risk-averse investors and conditions under which they would unanimously judge a particular asset to be superior. In particular, we develop a theory for comparing the preferences of different convex combination...

متن کامل

Improved immunogenicity of tetanus toxoid by Brucella abortus S19 LPS adjuvant.

BACKGROUND Adjuvants are used to increase the immunogenicity of new generation vaccines, especially those based on recombinant proteins. Despite immunostimulatory properties, the use of bacterial lipopolysaccharide (LPS) as an adjuvant has been hampered due to its toxicity and pyrogenicity. Brucella abortus LPS is less toxic and has no pyrogenic properties compared to LPS from other gram negati...

متن کامل

Steady electrodiffusion in hydrogel-colloid composites: macroscale properties from microscale electrokinetics.

A rigorous microscale electrokinetic model for hydrogel-colloid composites is adopted to compute macroscale profiles of electrolyte concentration, electrostatic potential, and hydrostatic pressure across membranes that separate electrolytes with different concentrations. The membranes are uncharged polymeric hydrogels in which charged spherical colloidal particles are immobilized and randomly d...

متن کامل

Perturbative Analysis of Dynamical Localisation

In this paper we extend previous results on convergent perturbative solutions of the Schrödinger equation of a class of periodically timedependent two-level systems. The situation treated here is particularly suited for the investigation of two-level systems exhibiting the phenomenon of (approximate) dynamical localisation. We also present a convergent perturbative expansion for the secular fre...

متن کامل

Collinear contextual suppression

The context of a target can modulate behavioral as well as neural responses to that target. For example, target processing can be suppressed by iso-oriented surrounds whereas it can be facilitated by collinear contextual elements. Here, we present experiments in which collinear elements exert strong suppression whereas iso-oriented contextual surrounds yield no contextual modulation--contrary t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996