Index of /lawvere/pdfs/
../
Re_ Simplicial versus (cubical with connections..> 14-Jun-2017 19:07 -
1961-language-of-algebra-supplement.pdf 16-Mar-2018 16:21 383K
1962-the-category-of-probabilistic-mappings.pdf 26-Aug-2016 13:39 7M
1962.probmap.pdf 22-Jul-2025 08:43 262K
1963-functorial-automata-theory-abstract.pdf 04-Jan-2022 10:49 226K
1963-functorial-semantics-of-algebraic-theories..> 25-Aug-2016 20:07 570K
1963-the-group-ring-of-a-small-category-abstrac..> 27-Jul-2017 13:19 84K
1964-an-elementary-theory-of-the-category-of-se..> 27-Aug-2016 12:29 678K
1965-algebraic-theories-algebraic-categories-an..> 25-Aug-2016 20:01 402K
1965-functorial-semantics-of-elementary-theorie..> 27-Jul-2017 16:05 242K
1966-category-of-categories-as-a-foundation-for..> 28-Jul-2016 23:00 477K
1966-presentations-of-right-complete-categories..> 08-Dec-2023 14:11 4M
1966-theories-as-categories-and-the-completenes..> 27-Jul-2017 16:00 243K
1968-some-algebraic-problems-in-the-context-of-..> 27-Aug-2016 11:58 881K
1969-adjointness-in-foundations.pdf 20-Jun-2016 15:34 226K
1969-diagonal-arguments-and-cartesian-closed-ca..> 02-Jun-2016 17:05 132K
1969-ordinal-sums-and-equational-doctrines.pdf 07-Aug-2016 14:32 314K
1970-equality-in-hyperdoctrines-and-comprehensi..> 23-Jul-2019 11:24 544K
1970-quantifiers-and-sheaves.pdf 04-Jun-2016 17:38 626K
1971-introduction-to-toposes-algebraic-geometry..> 25-Aug-2016 21:28 1M
19710122-DalhousieGazetteonWLawvere.pdf 04-Feb-2023 20:23 149K
1972-perugia-lecture-notes.pdf 26-Aug-2016 13:14 852K
1973-metric-spaces-generalized-logic-closed-cat..> 23-Jul-2019 10:49 2M
1975-continuously-variable-sets-algebraic-geome..> 09-Jul-2016 17:49 1M
1975-introduction-to-model-theory-and-topoi.pdf 25-Aug-2016 21:23 699K
1975-variable-sets-etendu-and-variable-structur..> 26-Aug-2016 13:14 2M
1976-variable-quantities-and-variable-structure..> 11-Jun-2016 16:21 2M
1978-algebraic-theory-of-thermostatics.pdf 08-Oct-2024 14:02 217K
1978-categorical-dynamics.pdf 24-Aug-2017 19:19 519K
1978-discussion-on-geometry.pdf 23-Jul-2023 13:16 407K
1978-discussion-on-philosophy.pdf 23-Jul-2023 13:12 216K
1978-hardy-fields.pdf 23-Jul-2023 13:16 191K
1978-thermomechanics.pdf 08-Oct-2024 14:01 230K
1980-toward-the-description-in-a-smooth-topos-o..> 16-Jun-2016 14:55 1M
1982-introduction-to-categories-in-continuum-ph..> 25-Aug-2016 21:19 738K
1982-review-of-cohn-universal-algebra.pdf 06-Dec-2023 13:18 553K
1982-termodinamica-delle-deformazioni-per-siste..> 02-Jan-2024 14:56 1M
1984-functorial-remarks-on-the-general-concept-..> 26-Aug-2016 13:40 1M
1984-state-categories-closed-categories-and-the..> 26-Aug-2016 13:37 2M
1986-categories-of-spaces-may-not-be-generalize..> 04-Aug-2016 23:39 107K
1986-state-categories-and-response-functors.pdf 27-Jul-2017 13:40 9M
1986-taking-categories-seriously.pdf 29-Apr-2016 15:41 230K
1988-on-the-complete-lattice-of-essential-local..> 08-Apr-2023 13:12 1M
1989-display-of-graphics-and-their-applications..> 14-Jul-2016 21:00 1M
1989-qualitative-distinctions-between-some-topo..> 24-Jul-2023 13:45 2M
1989-sheaves-large-and-small.pdf 29-May-2025 08:56 270K
1989-toposes-generated-by-codiscrete-objects-in..> 19-Jan-2021 14:42 297K
1989.cambridgetalks.pdf 22-Jul-2025 08:43 282K
1991-intrinsic-co-heyting-boundaries-and-the-le..> 13-Aug-2019 11:13 98K
1991-more-on-graphic-toposes.pdf 16-Jun-2016 15:03 551K
1991-some-thoughts-on-the-future-of-category-th..> 02-May-2016 01:45 948K
1992-categories-of-space-and-quantity.pdf 12-Jul-2016 15:36 506K
1992-introduction-to-linear-categories-and-appl..> 01-Aug-2023 13:24 1M
1994-cohesive-toposes-and-cantors-lauter-einsen..> 28-Apr-2016 23:54 1M
1994-tools-for-the-advancement-of-objective-log..> 12-Jul-2016 15:11 2M
1996-adjoints-in-and-among-bicategories.pdf 03-Aug-2016 17:42 530K
1996-grassmans-dialectics-and-category-theory.pdf 06-Aug-2015 12:57 1M
1996-history-and-philosophy-of-mathematic-refor..> 08-Dec-2023 14:18 38K
1996-unity-and-identity-of-opposites-in-calculu..> 14-Nov-2015 20:53 453K
1997-toposes-of-laws-of-motion.pdf 12-Jul-2016 15:27 91K
1997-volterras-functionals-and-covariant-cohesi..> 28-Jul-2016 21:27 77K
1998-are-homotopy-types-the-same-as-infinitesim..> 21-Mar-2017 13:21 117K
1998-outline-of-synthetic-differential-geometry..> 28-Jul-2016 21:39 89K
1999-categorie-e-spazio.pdf 16-Sep-2023 21:48 32M
1999-kinship-and-mathematical-categories.pdf 12-Jul-2016 15:08 4M
2000-cardone-interview.pdf 25-Aug-2016 21:40 221K
2000-comments-on-the-development-of-topos-theor..> 12-Jul-2016 15:04 4M
2000-induction-is-idempotent-recursion-in-a-bic..> 27-Jan-2025 11:09 119K
2001-categorical-algebra-for-continuum-micro-ph..> 28-Jul-2016 21:30 174K
2001-explicit-foundational-concepts-in-the-teac..> 14-Dec-2023 10:31 524K
2001-how-algebraic-is-algebra.pdf 25-Aug-2016 21:43 274K
2002-linearization-of-graphic-toposes-via-coxet..> 12-Jul-2016 14:59 99K
2003-continuous-categories-revisited.pdf 25-Aug-2016 21:43 252K
2003-foundations-and-applications-axiomatizatio..> 12-Jul-2016 15:33 112K
2003-incontro-con-ludovico-geymonat-anno-1977.pdf 09-Dec-2023 14:53 4M
2003-on-the-duality-between-varieties-and-algeb..> 27-Jul-2017 16:16 266K
2003-sets-for-mathematics.pdf 14-Nov-2023 10:23 2M
2004-functorial-concepts-of-complexity-for-fini..> 20-Aug-2016 18:16 138K
2004-functorial-semantics-of-algebraic-theories..> 12-Jul-2016 15:38 646K
2004-left-and-right-adjoint-operations-on-space..> 02-May-2016 01:48 178K
2004-the-map-from-the-dedekind-reals-to-the-eul..> 27-Dec-2024 20:34 2687
2005-an-elementary-theory-of-the-category-of-se..> 03-Aug-2016 17:32 261K
2005-book-reviews.pdf 28-Jul-2016 21:41 98K
2005-category-theory-and-everyday-human-activit..> 27-Jan-2025 11:13 118K
2006-john-isbell's-adequate-subcategories.pdf 21-Mar-2017 13:15 67K
2007-axiomatic-cohesion.pdf 14-Jun-2016 22:35 156K
2007-review-of-kock-sdg.pdf 06-Dec-2023 13:18 352K
2007-strong-nullstellensatz-for-euler-continua-..> 27-Jan-2025 10:42 32K
2007-the-role-of-history-in-toposes-in-geometry..> 11-Jul-2025 14:13 138K
2007-toposes-in-geometry-and-analysis.pdf 11-Jul-2025 14:13 162K
2008-cohesive-toposes-combinatorial-and-infinit..> 27-Aug-2016 12:13 428K
2008-core-varieties-extensivity-and-rig-geometr..> 20-Aug-2016 18:15 149K
2008-picado-interview.pdf 25-Aug-2016 22:24 2M
2009-conceptual-mathematics-second-edition.pdf 28-Feb-2024 15:10 4M
2009-foreword-to-algebraic-theories.pdf 27-Aug-2016 14:53 77K
2009-open-problems-in-topos-theory.pdf 29-Jul-2017 11:47 89K
2009-open-problems-in-topos-theory.ps 27-Aug-2016 11:56 326K
2010-cantors-lauter-einsen-in-the-light-of-galo..> 11-Jul-2025 14:12 152K
2010-the-hopf-algebra-of-mobius-intervals.pdf 25-Aug-2016 21:43 498K
2011-categorical-dynamics-abstract.pdf 27-Aug-2016 12:35 41K
2011-euler's-continuum-functorially-vindicated.pdf 26-Aug-2016 13:14 168K
2011.classifiertoposesandpositivelogic.pdf 22-Jul-2025 08:43 93K
2013-fifty-years-of-functorial-semantics-transc..> 23-Sep-2017 15:17 56K
2013-what-are-foundations-of-geometry-and-algeb..> 29-Jan-2023 19:38 49K
2013.PP_.thevarietyofmathematicalspace.pdf 03-Nov-2025 10:19 181K
2015-alexander-grothendieck-and-the-concept-of-..> 27-Aug-2016 12:20 40K
2015-internal-choice-holds-in-the-discrete-part..> 25-Aug-2016 21:42 344K
2016-birkhoffs-theorem-from-a-geometric-perspec..> 25-Aug-2016 21:27 337K
2017-everyday-physics-of-extended-bodies-or-why..> 27-Jul-2017 12:45 357K
2018-basic-dynamics-via-category-theory.pdf 11-Jul-2025 14:10 116K
Categorie_Spazio.pdf 16-Sep-2023 21:48 32M
Conceptual Mathematics_1.pdf 08-Oct-2024 14:05 4M
Fifty_Years_of_Functorial_Semantics.pdf 23-Sep-2017 15:17 56K
History and Philosophy Mathematics.html 04-Feb-2023 20:20 20K
Matemáticas_Conceptuales.pdf 08-Oct-2024 14:05 2M
Re_ Simplicial versus (cubical with connections..> 14-Jun-2017 19:07 9577
_19710122-DalhousieGazetteonWLawvere.pdf 04-Feb-2023 20:23 149K
general-concepts-and-reality 17-Feb-2023 13:58 3099
kock lawvere obituary.pdf 06-Dec-2023 13:18 6M
lawvere oberwolfach kock notices.pdf 14-Sep-2023 10:57 4M
what-are-foundations-of-geometry-and-algebra.pdf 29-Jan-2023 19:38 49K