Wyniki wyszukiwania

1

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

On concrete categories

100%

Wiweger A.

Instytut Matematyczny Polskiej Akademii Nauk

EN

CONTENTS Introduction............................................................................................................ 5 Chapter I. PRELIMINARIES 1. Notation. Categories and functors................................................................ 8 2. Concrete categories................................................................................................ 12 3. Power functors. Set-theoretical lemmas............................................................. 16 4. The category of equivalence relations................................................................. 19 5. Pseudo-reflections and reflections...................................................................... 20 6. Universal points. Generators and cogenerators................................................ 21 Chapter II. DUALITY. GENERALIZED EMBEDDINGS AND QUOTIENTS 7. Dual notions in concrete categories........................................................... 23 8. D-preorders and C-preorders............................................................................... 27 9. Generalized images, coimages, embeddings and quotients........................ 33 Chapter III. THE CONDITIONS OF TRANSFER AND OF UNICITY 10. Definitions, examples, and basic properties.......................................... 38 11. The "transfer" functor ........................................................................................... 42 12. The "unicity" functor............................................................................................... 44 13. The "unique transfer" functor............................................................................... 46 14. Structures and concrete categories................................................................... 48 Chapter IV. THE CATEGORY OF LOGICAL KITS 15. Definitions and basic properties................................................................ 51 16. Adjoints of some forgetful functors.................................................................... 55 17. Coproducts of logical kits.................................................................................... 58 18. Coequalizers in the category of logical kits...................................................... 61 References .......................................................................................................... 64

2

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

3

Pre-adjunctions and lambda-algebraic theories

37%

Wiweger A.

Colloquium Mathematicum

|

1984

|

tom 48

|

nr 2

153-165

Ograniczanie wyników

1 Banach Center Publications

1 Colloquium Mathematicum

3 Wiweger A.

1 Obtułowicz A.

1 1984

1 1982

1 1976

On concrete categories

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

Pre-adjunctions and lambda-algebraic theories