Q3682648
type: Item
instance of: scholarly article
zbMATH Open document ID: 0567.18001
publication date: 1985-01-01T00:00:00Z
Mathematics Subject Classification ID: 18-02
Mathematics Subject Classification ID: 18B25
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18F20
zbMATH DE Number: 3904807
zbMATH Keywords: toposes
zbMATH Keywords: triples
zbMATH Keywords: theories
zbMATH Keywords: internal logic
zbMATH Keywords: sketches
zbMATH Keywords: theoretical computer science
zbMATH Keywords: finite colimits
zbMATH Keywords: logical functor
zbMATH Keywords: sheaf categories
zbMATH Keywords: Butler's theorems
zbMATH Keywords: embedding theorems
zbMATH Keywords: Deligne's theorem
MaRDI profile type: Publication
Recommended article: Q3717256
Recommended article: Q4893207
Recommended article: Triposes, q-toposes and toposes
Recommended article: Sets, Topoi and Intuitionism
Recommended article: Toposes and intuitionistic theories of types
Recommended article: Q3684271
Recommended article: Higher Topos Theory (AM-170)
Recommended article: On topologies in a topos
Recommended article: Q4665116
description: scientific article