GitHub - mattearnshaw/lawvere at 49738ef8593ea0b5c21d83529a139999d2a4edaf

Branches Tags

About

The collected works of F. W. Lawvere

Activity

326 stars

24 watching

35 forks

Report repository

Releases

No releases published

Packages

No packages published

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

About

Releases

Packages

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
1963-functorial-semantics-of-algebraic-theories.pdf		1963-functorial-semantics-of-algebraic-theories.pdf
1964-an-elementary-theory-of-the-category-of-sets.pdf		1964-an-elementary-theory-of-the-category-of-sets.pdf
1966-category-of-categories-as-a-foundation-for-mathematics.pdf		1966-category-of-categories-as-a-foundation-for-mathematics.pdf
1969-adjointness-in-foundations.pdf		1969-adjointness-in-foundations.pdf
1969-diagonal-arguments-and-cartesian-closed-categories.pdf		1969-diagonal-arguments-and-cartesian-closed-categories.pdf
1969-ordinal-sums-and-equational-doctrines.pdf		1969-ordinal-sums-and-equational-doctrines.pdf
1970-equality-in-hyperdoctrines-and-comprehension-schema-as-an-adjoint-functor.pdf		1970-equality-in-hyperdoctrines-and-comprehension-schema-as-an-adjoint-functor.pdf
1971-quantifiers-and-sheaves.pdf		1971-quantifiers-and-sheaves.pdf
1973-metric-spaces-generalized-logic-closed-categories.pdf		1973-metric-spaces-generalized-logic-closed-categories.pdf
1975-continuously-variable-sets-algebraic-geometry--geometric-logic.pdf		1975-continuously-variable-sets-algebraic-geometry--geometric-logic.pdf
1976-variable-quantities-and-variable-structures-in-topoi.pdf		1976-variable-quantities-and-variable-structures-in-topoi.pdf
1980-toward-the-description-in-a-smooth-topos-of-the-dynamically-possible-motions-and-deformations-of-a-continuous-body.pdf		1980-toward-the-description-in-a-smooth-topos-of-the-dynamically-possible-motions-and-deformations-of-a-continuous-body.pdf
1984-functorial-remarks-on-the-general-concept-of-chaos.pdf		1984-functorial-remarks-on-the-general-concept-of-chaos.pdf
1984-state-categories-closed-categories-and-the-existence-of-semi-continuous-entropy-functions.pdf		1984-state-categories-closed-categories-and-the-existence-of-semi-continuous-entropy-functions.pdf
1986-categories-of-spaces-may-not-be-generalized-spaces-as-exemplified-by-directed-graphs.pdf		1986-categories-of-spaces-may-not-be-generalized-spaces-as-exemplified-by-directed-graphs.pdf
1986-taking-categories-seriously.pdf		1986-taking-categories-seriously.pdf
1989-display-of-graphics-and-their-applications-exemplifed-by-2-categories-and-the-hegelian-taco.pdf		1989-display-of-graphics-and-their-applications-exemplifed-by-2-categories-and-the-hegelian-taco.pdf
1989-qualitative-distinctions-between-some-toposes-of-generalized-graphs.pdf		1989-qualitative-distinctions-between-some-toposes-of-generalized-graphs.pdf
1991-intrinsic-co-heyting-boundaries-and-the-leibniz-rule-in-certain-toposes.pdf		1991-intrinsic-co-heyting-boundaries-and-the-leibniz-rule-in-certain-toposes.pdf
1991-more-on-graphic-toposes.pdf		1991-more-on-graphic-toposes.pdf
1991-some-thoughts-on-the-future-of-category-theory.pdf		1991-some-thoughts-on-the-future-of-category-theory.pdf
1992-categories-of-space-and-quantity.pdf		1992-categories-of-space-and-quantity.pdf
1994-cohesive-toposes-and-cantors-lauter-einsen.pdf		1994-cohesive-toposes-and-cantors-lauter-einsen.pdf
1994-tools-for-the-advancement-of-objective-logic-closed-categories-and-toposes.pdf		1994-tools-for-the-advancement-of-objective-logic-closed-categories-and-toposes.pdf
1996-adjoints-in-and-among-bicategories.pdf		1996-adjoints-in-and-among-bicategories.pdf
1996-grassmans-dialectics-and-category-theory.pdf		1996-grassmans-dialectics-and-category-theory.pdf
1996-unity-and-identity-of-opposites-in-calculus-and-physics.pdf		1996-unity-and-identity-of-opposites-in-calculus-and-physics.pdf
1997-toposes-of-laws-of-motion.pdf		1997-toposes-of-laws-of-motion.pdf
1997-volterras-functionals-and-covariant-cohesion-of-space.pdf		1997-volterras-functionals-and-covariant-cohesion-of-space.pdf
1998-outline-of-synthetic-differential-geometry.pdf		1998-outline-of-synthetic-differential-geometry.pdf
1999-kinship-and-mathematical-categories.pdf		1999-kinship-and-mathematical-categories.pdf
2000-comments-on-the-development-of-topos-theory.pdf		2000-comments-on-the-development-of-topos-theory.pdf
2001-categorical-algebra-for-continuum-micro-physics.pdf		2001-categorical-algebra-for-continuum-micro-physics.pdf
2002-linearization-of-graphic-toposes-via-coxeter-groups.pdf		2002-linearization-of-graphic-toposes-via-coxeter-groups.pdf
2002-open-problems-in-topos-theory.pdf		2002-open-problems-in-topos-theory.pdf
2003-foundations-and-applications-axiomatization-and-education.pdf		2003-foundations-and-applications-axiomatization-and-education.pdf
2004-functorial-concepts-of-complexity-for-finite-automata.pdf		2004-functorial-concepts-of-complexity-for-finite-automata.pdf
2004-left-and-right-adjoint-operations-on-spaces-and-data-types.pdf		2004-left-and-right-adjoint-operations-on-spaces-and-data-types.pdf
2005-book-reviews.pdf		2005-book-reviews.pdf
2007-axiomatic-cohesion.pdf		2007-axiomatic-cohesion.pdf
2008-core-varieties-extensivity-and-rig-geometry.pdf		2008-core-varieties-extensivity-and-rig-geometry.pdf

mattearnshaw/lawvere

Folders and files

Latest commit

History

About

Stars

Watchers

Forks

Releases

Packages 0

Packages