Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

The logic of categories of partial functions and its applications

100%

Obtułowicz A.

Instytut Matematyczny Polskiej Akademii Nauk

CONTENTS 0. Introduction.......................................................................................................................................................................................5 1. Preliminaries.....................................................................................................................................................................................9 2. Relations and functional relations in a category.............................................................................................................................13 2.1. The concept of a regular category.............................................................................................................................................13 2.2. Relations in a category and their composition............................................................................................................................14 2.3. Functional relations in a category...............................................................................................................................................15 2.4. Certain generalization of the concept of a category of functional relations................................................................................20 3. The category $Pfn_A$ as a category with ordered hom-sets.........................................................................................................23 3.1. The concept of an ordered category..........................................................................................................................................23 3.2. The concept of a domain classifier w.r.t. partial ordering............................................................................................................24 3.3. The concept of a product w.r.t. partial ordering and domain classifier........................................................................................26 4. The category $Pfn_A$ as a category with additional equational structure.....................................................................................29 4.1. The concept of a category with ordered precartesian structure.................................................................................................29 4.2. The concepts of an equoidal category and a semilogical category............................................................................................35 4.3. The notion of the category associated to a category with ordered strict precartesian structure.................................................41 4.4. Functors between categories with ordered strict precartesian structure and the notion of quasi-natural transformation...........47 5. Functional relations in an elementary topos...................................................................................................................................54 5.1. The notion of an elementary topos.............................................................................................................................................54 5.2. Higher-order types of functionality in $Pfn_E$...........................................................................................................................59 5.3. The notion of a doctrine of functional relations..........................................................................................................................64 5.4. The interpretation of logical connectives in an equoidal category with types and in a doctrine of functional relations...............72 5.5. Undefined elements and upper bounds......................................................................................................................................80 6. Axiom of infinity. programmability. and recursiveness.....................................................................................................................88 6.1. Axiom of infinity and the notion of an arithmetical doctrine of functional relations......................................................................88 6.2. Programmability in doctrines of functional relations...................................................................................................................96 6.3. Recursiveness and doctrines of functional relations................................................................................................................102 7. Applications to Universal Algebra; theories classifying partial algebras........................................................................................105 7.1. The formulation of P-equational logic.......................................................................................................................................105 7.2. The presentation of p-theories by categories...........................................................................................................................111 7.3. The representations of partial algebras by functors.................................................................................................................115 7.4. Categories of partial algebras; p-algebraic categories and p-algebraic functors......................................................................119 7.5. Properties of p-algebraic categories and p-algebraic functors.................................................................................................124 7.6. Characterization of p-algebraic categories...............................................................................................................................131 7.7. Applications in linguistics..........................................................................................................................................................138 7.8. Graphical algebras...................................................................................................................................................................141 Appendix A.......................................................................................................................................................................................148 Appendix B.......................................................................................................................................................................................149 Appendix C.......................................................................................................................................................................................155 References.......................................................................................................................................................................................157 Index.................................................................................................................................................................................................160 Index of symbols...............................................................................................................................................................................163

Categorical, functorial and algebraic aspects of the type-free lambda calculus

49%

Obtułowicz A., Wiweger A.

Banach Center Publications

1982

tom 9

nr 1

399-422

Ograniczanie wyników

1 Banach Center Publications

2 Obtułowicz A.

1 Wiweger A.

1 1986

1 1982

Wyniki wyszukiwania

The logic of categories of partial functions and its applications

Categorical, functorial and algebraic aspects of the type-free lambda calculus