Algebraic Theories, Algebraic Categories, and Algebraic Functors

Journal of Symbolic Logic 36 (2):336-337 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270297

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: F. William Lawvere, Algebraic Theories, Algebraic Categories, and Algebraic Functors. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 , pp. 869–872. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):340-341.
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.
Algebraic logic and predicate functors.Willard Van Orman Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
Review: William Craig, Logic in Algebraic Form. Three Languages and Theories. [REVIEW]Stephen D. Comer - 1977 - Journal of Symbolic Logic 42 (1):108-109.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
Algebraic Logic.S. G. Gindikin & Robert H. Silverman - 1987 - Journal of Symbolic Logic 52 (2):565-567.
On algebraic closure in pseudofinite fields.Özlem Beyarslan & Ehud Hrushovski - 2012 - Journal of Symbolic Logic 77 (4):1057-1066.
Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.

Analytics

Added to PP
2015-02-05

Downloads
33 (#691,252)

6 months
6 (#882,325)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier.
A Language for Type-Free Algebra.William S. Hatcher - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):385-397.
A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.

Add more citations

References found in this work

No references found.

Add more references