scientific article; zbMATH DE number 1913781
From MaRDI portal
Publication:4807625
zbMath1031.18001MaRDI QIDQ4807625
F. William Lawvere, Robert D. Rosebrugh
Publication date: 20 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Categorical logic, topoi (03G30) Topoi (18B25) Other classical set theory (including functions, relations, and set algebra) (03E20) Categories of sets, characterizations (18B05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (32)
Logic in Category Theory ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Duality as a category-theoretic concept ⋮ Quotient completion for the foundation of constructive mathematics ⋮ On the mereological structure of complex states of affairs ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Four ways from universal to particular: how Chomsky’s principles-and-parameters model is not selectionist ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Unnamed Item ⋮ A functional framework for agent-based models of exchange ⋮ An abstract cell model that describes the self-organization of cell function in living systems ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Comparing material and structural set theories ⋮ Structural universals as structural parts: toward a general theory of parthood and composition ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES ⋮ Unifying exact completions ⋮ On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory ⋮ Props in Network Theory ⋮ A Categorical Approach to Mereology and Its Application to Modelling Software Components ⋮ Why Sets? ⋮ Renormalization: A number theoretical model ⋮ Coherence in linear predicate logic ⋮ Counting distinctions: on the conceptual foundations of Shannon's information theory ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Supervisory Control with Complete Observations ⋮ Follow the math! : the mathematics of quantum mechanics as the mathematics of set partitions linearized to (Hilbert) vector spaces ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
This page was built for publication:
