|
|
|
|
William Lawvere
William Lawvere Francis William Lawvere is a mathematician known for his work ... category theory and the philosophy of mathematics. Lawvere completed his Ph.D. in mathematics at ... founder of category theory, Saunders Mac Lane). Lawvere then spent most of his career at ... and downloadable papers, Ph.D. thesis. William Lawvere at the Mathematics Genealogy Project photograph
http://en.wikipedia.org/wiki/William_Lawvere - 1k - Cached - Similar pages
|
William Lawvere (translated from Spanish)
William Lawvere F. William Lawvere Professor Emérito Associate of Philosophy and Professor ... on the subject of categories is: William Lawvere and Steve Schanuel, Conceptual Mathematics: To First ...
http://es.wikipedia.org/wiki/William_Lawvere - 1k - Cached (Spanish) - Wikipedia (Spanish) - Similar pages
|
Categories and foundations (translated from Spanish)
... specialized" mathematical community inclusively. They exist mathematical (Lawvere...) which mathematics and foundations of the mathematical ... They turn around the name of Grothendieck, Lawvere, in which it concerns foundations, logic, etc. Lawvere is another mathematician, in life (2003), that ... basic definition is the given one by Lawvere (to see references down), and that this ... the object "values of truth ". William Lawvere and the developers of these theories ...
http://es.wikipedia.org/wiki/Categorías_y_fundamentos - 48k - Cached (Spanish) - Wikipedia (Spanish) - Similar pages
|
Background and genesis of topos theory
... definition of topos goes back to William Lawvere. While the timing follows closely on from ... interest for a number of logical disciplines. Lawvere's definition picks out the central role ... like the graph of the membership relation. Lawvere therefore formulated axioms for a topos that ... taken its place within homological algebra. The Lawvere programme was to write higher-order logic ...
http://en.wikipedia.org/wiki/Background_and_genesis_of_topos_theory - 18k - Cached - Similar pages
|
Topos
... also called a Grothendieck topos. F. W. Lawvere realized the logical content of this structure ... led to the current notion. Note that Lawvere's notion, initially called elementary topos, is ... various -- even non-mathematical -- disciplines: F. William Lawvere and Stephen H. Schanuel: Conceptual Mathematics: A ... etc." (cited from cover text). F. William Lawvere and Robert Rosebrugh: Sets for Mathematics, Cambridge ...
http://en.wikipedia.org/wiki/Topos - 15k - Cached - Similar pages
|
Bottom and génesis of the theory of the awkward people (translated from Spanish)
... the awkward people goes back a William Lawvere . Whereas the synchronization follows the described one ... number of disciplines logics. The definition of Lawvere selects like central paper in the theory ... the graph of the property relation. Then Lawvere formulated axioms for awkward people that they ... place within homologica algebra. The program of Lawvere was to write logical of superior order ...
http://es.wikipedia.org/wiki/Fondo_y_génesis_de_la_teoría_de_los_topos - 19k - Cached (Spanish) - Wikipedia (Spanish) - Similar pages
|
Categorical logic
... The founders of elementary topos theory were Lawvere and Tierney. Lawvere's writings, sometimes couched in a philosophical ... bashing shows how strong the assumption is). Lawvere's further work in the 1960s gave ...
http://en.wikipedia.org/wiki/Categorical_logic - 9k - Cached - Similar pages
|
Comma category
... was introduced in 1963 by F. W. Lawvere, although the technique did not become generally ... comes from the notation originally used by Lawvere, which involved the comma punctuation mark. Although ... mathcal{C}, when it exists. Adjunctions Lawvere showed that the functors |
Comma category (translated from German)
... Category theory , the 1963 of F. W. Lawvere one introduced. The name results from the notation, the Lawvere originally used. Table of contents Definition For ...
http://de.wikipedia.org/wiki/Kommakategorie - 7k - Cached (German) - Wikipedia (German) - Similar pages
|
Categorical set theory
... Logic, Cambridge University Press, Cambridge, UK, 1986. Lawvere, F.W., and Rosebrugh, R. , Sets for ... Mathematics, Cambridge University Press, Cambridge, UK, 2003. Lawvere, F.W., and Schanuel, S.H. , Conceptual ...
http://en.wikipedia.org/wiki/Categorical_set_theory - 2k - Cached - Similar pages
|
| Page:1 2 3 4 Next >> |
