Fibred and Indexed Categories for Abstract Model Theory (Q5436999)
From MaRDI portal
scientific article; zbMATH DE number 5227990
Language | Label | Description | Also known as |
---|---|---|---|
English | Fibred and Indexed Categories for Abstract Model Theory |
scientific article; zbMATH DE number 5227990 |
Statements
Fibred and Indexed Categories for Abstract Model Theory (English)
0 references
18 January 2008
0 references
indexed categories
0 references
fibred categories
0 references
Grothendieck constructions
0 references
logical systems
0 references
institutions
0 references
indexed frames
0 references
fibred frames
0 references