About: History of topos theory

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: History of topos theory Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FHistory_of_topos_theory

This article gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the other hand context can be given. This is partly in terms of historical development, but also to some extent an explanation of differing attitudes to category theory.

Attributes	Values
rdfs:label	Fondo y génesis de la teoría de los topos (es) History of topos theory (en)
rdfs:comment	This article gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the other hand context can be given. This is partly in terms of historical development, but also to some extent an explanation of differing attitudes to category theory. (en) Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá de cierto punto; pero el contexto puede ser indicado. Esto se hará en parte en términos del desarrollo histórico, pero también hasta cierto grado dando una explicación de actitudes, ciertamente diferentes, frente a la teoría de categorías. (es)
dcterms:subject	History of mathematics Topos theory
Wikipage page ID	253859 (xsd:integer)
Wikipage revision ID	1083675394 (xsd:integer)
Link from a Wikipage to another Wikipage	Projective geometry Saunders Mac Lane Module (mathematics) David Hilbert Denotational semantics John Tate (mathematician) Paul Cohen Peter Johnstone (mathematician) Riemann surface Intuitionistic logic Intuitionistic type theory Comonad Compact space Mathematical logic Continuum hypothesis Crystalline cohomology Computer science Étale cohomology Functor Fundamental group Kripke semantics Pointless topology Topology Type theory Weil conjectures William Lawvere Lattice (order) Alexander Grothendieck Algebraic geometry Algebraic variety Forcing (mathematics) Nicolas Bourbaki Heyting algebra Jean-Louis Verdier Abelian category History of mathematics Joachim Lambek L. E. J. Brouwer Lambda calculus Syntax Higher-order logic Homological algebra Homotopy theory Myles Tierney Topos Axiom of choice Manifold Boolean algebra (structure) Topos theory Classifying topos Constructivism (philosophy of mathematics) Grothendieck topology Olivia Caramello Category theory Ramification (mathematics) Set theory Scheme (mathematics) Sheaf (mathematics) Extensionality Locale (mathematics) Zariski topology Yoneda lemma Topological space Mathematical Kripke–Joyal semantics Tohoku paper Cartesian-closed category Flat cohomology Grothendieck topos Constructive logic Descent (category theory) Pro-finite group Colimit Existential quantifier Truth-value Sub-object classifier dbr:Intuitionistic_theory_of_real_numbers dbr:P._J._Scott
Link from a Wikipage to an external page	http://plato.stanford.edu/entries/category-theory/
sameAs	History of topos theory History of topos theory History of topos theory
dbp:wikiPageUsesTemplate	dbt:Citation_needed dbt:More_footnotes dbt:Reflist dbt:See
has abstract	This article gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the other hand context can be given. This is partly in terms of historical development, but also to some extent an explanation of differing attitudes to category theory. (en) Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá de cierto punto; pero el contexto puede ser indicado. Esto se hará en parte en términos del desarrollo histórico, pero también hasta cierto grado dando una explicación de actitudes, ciertamente diferentes, frente a la teoría de categorías. (es)
prov:wasDerivedFrom	wikipedia-en:History_of_topos_theory?oldid=1083675394&ns=0
page length (characters) of wiki page	11502 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:History_of_topos_theory
is Link from a Wikipage to another Wikipage of	Categorical logic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software