Cargando…

Sketches of an elephant: a Topos theory compendium

Detalles Bibliográficos
Autor principal:	Johnstone, Peter T
Lenguaje:	eng
Publicado:	Oxford Univ. Press 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/592033

Ejemplares similares

Higher Topos Theory
por: Lurie, Jacob
Publicado: (2009)

Higher topos theory
por: Lurie, Jacob
Publicado: (2009)

Algebra in a localic topos with applications to ring theory
por: Borceux, Francis, et al.
Publicado: (1983)

The topos of music: geometric logic of concepts, theory, and performance
por: Mazzola, Guerino
Publicado: (2002)

Sheaves in geometry and logic: a first introduction to topos theory
por: MacLane, Saunders, et al.
Publicado: (1992)

Théorie des topos et cohomologie étale des schémas
por: Dold, A, et al.
Publicado: (1972)

Théorie des topos et cohomologie étale des schémas
por: Dold, A, et al.
Publicado: (1973)

Théorie des topos et cohomologie étale des schémas
por: Dold, A, et al.
Publicado: (1972)

Temporal type theory: a topos-theoretic approach to systems and behavior
por: Schultz, Patrick, et al.
Publicado: (2019)

Probability theory: a historical sketch
por: Majstrov, Leonid E
Publicado: (1974)

A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos
por: Nourani, Cyrus F
Publicado: (2014)

Bayesian compendium
por: van Oijen, Marcel
Publicado: (2020)

The Neumann compendium
por: Vámos, T, et al.
Publicado: (1995)

A compendium of continuous lattices
por: Gierz, Gerhard, et al.
Publicado: (1980)

A compendium of mathematics and physics
por: Meyler, Dorothy S, et al.
Publicado: (1958)

African diaspora mathematics compendium
por: Diagana, Toka
Publicado: (2012)

African diaspora mathematics compendium
por: Diagana, Toka
Publicado: (2012)

Sets: a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
por: Van Dalen, D, et al.
Publicado: (1978)

The innovation in computing companion: a compendium of select, pivotal inventions
por: O'Regan, Gerard
Publicado: (2018)

A compendium of partial differential equation models: method of lines analysis with Matlab
por: Schiesser, William E, et al.
Publicado: (2009)

The IMO Compendium: A Collection of Problems Suggested for the International Mathematical Olympiads 1959-2004
por: Djukic, Dusan, et al.
Publicado: (2006)

The IMO Compendium: A Collection of Problems Suggested for The International Mathematical Olympiads 1959-2009 Second Edition
por: Djukić, Dušan, et al.
Publicado: (2011)

The surgions mate: the first compendium on naval medicine, surgery and drug therapy (London 1617) : edited and annotated by Irmgard Müller
por: Müller, Irmgard
Publicado: (2016)

A second course in topos quantum theory
por: Flori, Cecilia
Publicado: (2018)

A first course in topos quantum theory
por: Flori, Cecilia
Publicado: (2013)

Localization in group theory and homotopy theory: and related topics
por: Hilton, Peter
Publicado: (1974)

Philosophy of mathematics: set theory, measuring theories, and nominalism
por: Preyer, Gerhard, et al.
Publicado: (2008)

Elementary number theory, group theory and Ramanujan graphs
por: Davidoff, Giuliana, et al.
Publicado: (2003)

Set theory
por: Hajnal, András, et al.
Publicado: (1999)

Scattering theory
por: Lax, Peter D, et al.
Publicado: (1990)

Introduction to game theory
por: Morris, Peter
Publicado: (1994)

Stochastic integration theory
por: Medvegyev, Péter
Publicado: (2007)

Theory of HP spaces
por: Duren, Peter Larkin
Publicado: (1970)

Conference on Operator Theory
por: Fillmore, Peter A
Publicado: (1973)

Classical invariant theory
por: Olver, Peter J
Publicado: (1999)

An introduction to catastrophe theory
por: Saunders, Peter Timothy
Publicado: (1980)

Buildings: theory and applications
por: Abramenko, Peter, et al.
Publicado: (2008)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Ergodic theory: introdutory lectures
por: Walters, Peter
Publicado: (1975)

Non-cooperative planning theory
por: Bogetoft, Peter
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_a90gmce651k32n1hnim1kguea8