-
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...
- mathematics, a
Lawvere–Tierney
topology is an
analog of a
Grothendieck topology for an
arbitrary topos, used to
construct a
topos of sheaves. A
Lawvere–Tierney...
- In mathematics,
Lawvere's fixed-point
theorem is an
important result in
category theory. It is a
broad abstract generalization of many
diagonal arguments...
-
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...
- particular,
every Lawvere theory gives a
monad on the
category of sets,
while any "finitary"
monad on the
category of sets
arises from a
Lawvere theory. However...
- a
foundation for
mathematics include those of
William Lawvere and
Rosebrugh (2003) and
Lawvere and
Stephen Schanuel (1997) and
Mirroslav Yotov (2012)...
-
construction of
enriched category theory formally introduced by
William Lawvere in 1986. That is a
duality between covariant and
contravariant representable...
- theory, as
invented by
William Lawvere, is an
example of a doctrine.: 289 The
concept of
doctrines was
invented by
Lawvere as part of his work on algebraic...
- ISBN 978-0-521-35653-4.
Lawvere, F.W.; Rosebrugh, R. (2003). Sets for Mathematics.
Cambridge University Press. ISBN 978-0-521-01060-3.
Lawvere, F.W.; Schanuel...
