Theories, Sites, Toposes
Theories, Sites, Toposes
Relating and studying mathematical theories through topos-theoretic 'bridges'
Oxford University Press
12/2017
384
Dura
Inglês
9780198758914
15 a 20 dias
Descrição não disponível.
1: Topos-theoretic background 2: Classifying toposes and the 'bridge' technique 3: A duality theorem 4: Lattices of theories 5: Flat functors and classifying toposes 6: Theories of presheaf type: general criteria 7: Expansions and faithful interpretations 8: Quotients of a theory of presheaf type 9: Examples of theories of presheaf type 10: Some applications
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1: Topos-theoretic background 2: Classifying toposes and the 'bridge' technique 3: A duality theorem 4: Lattices of theories 5: Flat functors and classifying toposes 6: Theories of presheaf type: general criteria 7: Expansions and faithful interpretations 8: Quotients of a theory of presheaf type 9: Examples of theories of presheaf type 10: Some applications
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.