Axiomatizing a category of categories (Q3984403)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Axiomatizing a category of categories |
scientific article |
Statements
Axiomatizing a category of categories (English)
0 references
27 June 1992
0 references
axiomatization
0 references
consistency
0 references
category of categories
0 references
adjunctions
0 references
triples
0 references
Cartesian closedness
0 references
axiom of infinity
0 references
independence
0 references
definability
0 references
