TWiki>
Mizar Web>MathematicsSubjectClassification>18>18A>18A05 (2006-10-27, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>18>18A>18A05 (2006-10-27, MarcoRiccardi)EditAttach18A05 General theory of categories and functors - Definitions, generalizations
Primary classification
| # | Article | ||
|---|---|---|---|
| 1 | cat_1 | Introduction to Categories and Functors | Czes{\l}aw Byli\'nski |
| 2 | oppcat_1 | Opposite Categories and Contravariant Functors | Czes\l aw Byli\'nski |
| 3 | cat_2 | Subcategories and Products of Categories | Czes{\l}aw Byli\'nski |
| 4 | cat_3 | Products and Coproducts in Categories | Czes{\l}aw Byli\'nski |
| 5 | altcat_1 | Categories without Uniqueness of {\rm cod} and {\rm dom} | Andrzej Trybulec |
| 6 | altcat_2 | Examples of Category Structures.Subcategories | Andrzej Trybulec |
| 7 | altcat_3 | Basic properties of objects and morphisms. In categories without uniqueness of { \bf cod } and { \bf dom } | Beata Madras |
| 8 | altcat_4 | On the Categories Without Uniqueness of { \bf cod } and { \bf dom } . Some Properties of the Morphisms and the Functors | Artur Korni{\l}owicz |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-10-27 - 08:34:29 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback