Francis William Lawvere (/lɔːˈvɪər/; February 9, 1937 – January 23, 2023) was an American mathematician known for his work in category theory, topos theory...

In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category that can be considered a categorical counterpart...

solution to the Entscheidungsproblem. It was first proven by William Lawvere in 1969. Lawvere's theorem states that, for any Cartesian closed category C {\displaystyle...

fundamental construction of enriched category theory formally introduced by William Lawvere in 1986. That is a duality between covariant and contravariant representable...

ordered by inclusion. F is the lower adjoint. A very general comment of William Lawvere is that syntax and semantics are adjoint: take A to be the set of all...

logic, one that is very general in applicability.: 314  Mathematician William Lawvere interpreted dialectics in the setting of categorical logic in terms...

French board game designer (Mare Nostrum, Mystery of the Abbey). William Lawvere, 85, American mathematician. Fred Lindop, 84, British rugby league...

coverage or topology or geometric modality. They were introduced by William Lawvere (1971) and Myles Tierney. If E is a topos, then a topology on E is...

n'étaient pas considérées comme relevant de intuition topologique However, William Lawvere argues in his 1975 paper that this dictum should be turned backward;...

ISBN 978-3-540-27949-5. Lawvere, F. William; Rosebrugh, Robert (2003). Sets for Mathematics. Cambridge University Press. ISBN 978-0-521-01060-3. Lawvere, F. William; Schanuel...

point-surjectivity is an important one in Lawvere's fixed-point theorem, and it first was introduced by William Lawvere in his original article. In a category...

Symbolic Logic vol. 9, no. 3, (2003). Accessed 21 August 2023. F. William Lawvere; Stephen H. Schanuel (2009). Conceptual Mathematics: A First Introduction...

History of category theory Saunders Mac Lane Samuel Eilenberg Max Kelly William Lawvere André Joyal Mathematics portal Abstract nonsense Glossary of category...

in the category of sets. This observation is instrumental for F. William Lawvere's axiomatization of set theory, the Elementary Theory of the Category...

Sets equipped with an extended pseudoquasimetric were studied by William Lawvere as "generalized metric spaces". From a categorical point of view, the...

objects in their own right. This notion was introduced in 1963 by F. W. Lawvere (Lawvere, 1963 p. 36), although the technique did not[citation needed] become...

Larsen Irena Lasiecka Greg Lawler Ruth Lawrence H. Blaine Lawson William Lawvere Peter Lax Robert Lazarsfeld Joel Lebowitz John Leech Solomon Lefschetz...

Rethinking Set Theory (based upon an axiomatization published in 1964 by F. William Lawvere). He is a frequent author and moderator for the academic group blog...

Kuratowski Karol Borsuk Doctoral students Jonathan Beck David Buchsbaum Martin Golumbic Daniel Kan William Lawvere Ramaiyengar Sridharan Myles Tierney...

monads (cf. the Kuratowski closure axioms) a very general comment of William Lawvere is that syntax and semantics are adjoint: take C to be the set of all...

Grothendieck topos. The notion of a topos was later abstracted by William Lawvere and Miles Tierney to define an elementary topos, which has connections...

Płonka, S. Świerczkowski, K. Urbanik, and others. Starting with William Lawvere's thesis in 1963, techniques from category theory have become important...

Frankena William Kingdon Clifford William Kneale William Kurtz Wimsatt, Jr. William L. Reese William L. Rowe William Lane Craig William Law William Lawvere William...

(ordinary) Zariski-open sets. The current definition of topos goes back to William Lawvere and Myles Tierney. While the timing follows closely on from that described...

system of theories. For example, algebraic theories, as invented by William Lawvere, is an example of a doctrine, as are multi-sorted theories, operads...

historian (b. 1928) January 23 George Crabtree, 78, physicist (b. 1944) William Lawvere, 85, mathematician (b. 1937) Victor Navasky, 90, journalist (The Nation...

editor, Our Hearts Were Young and Gay and How Dear to My Heart F. William Lawvere, mathematician and philosopher known for his seminal contributions...

tangles and relations among them 1971 William Lawvere–Myles Tierney Lawvere–Tierney topology on a topos 1971 William Lawvere–Myles Tierney Topos theoretic forcing...

Set Valued Functors, was jointly supervised by Peter J. Freyd and William Lawvere. When she was offered a postdoctoral research position at McGill in...

Shige Toshi Kuroda Robert Phelan Langlands Richard Lashof Francis William Lawvere Peter David Lax Jerome Paul Levine B. M. Levitan Joram Lindenstrauss...