No label defined (Q4745821)
From MaRDI portal
scientific article; zbMATH DE number 3801532
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 3801532 |
Statements
1980
0 references
sketch
0 references
projective and inductive cones
0 references
realization of a sketch
0 references
sketchable categories
0 references
set-valued realization of a sketch
0 references
ultraproducts
0 references
internal formulas
0 references
Kan extensions
0 references
logic of topoi
0 references