BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We reformulate the statement of the Feit-Thompson theorem in terms of diagrams in the category of finite groups, namely iterations of the Quillen lifting property with respect to particular morphisms.
We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, as well as of being connected, separation axioms T0 and T1 in topology, having dense image, induced (pullback) topology, and every real-valued function being bounded (on a connected domain). We also offer a couple of brief speculations on cognitive and AI aspects of this observation, particularly that in point-set topology some arguments read as diagram chasing computations with finite preorders.
This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introduce homotopy-theoretic intuitions to set theory. Our main observation is that the homotopy invariant version of cardinality is the covering number of Shelah's PCF theory, and that other combinatorial objects, such as Shelah's revised power function - the cardinal function featuring in Shelah's revised GCH theorem - can be obtained using similar tools. We include a small "dictionary" for set theory in $\QtNaamen$, hoping it will help in finding more meaningful homotopy-theoretic intuitions in set theory.
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. In a subsequent paper \cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $\cov(λ, \aleph_1,\aleph_1,2)$, recovered from this model category. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is (almost all) the verification that the construction works.
In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in which the mapping Hom(w)(Z×B,C):Qt⟶Sets is functorial in Z and represented in Qt satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one.
We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of Generalised Continuum Hypothesis about which more can be proven within ZFC and which first appeared in PCF theory. The formalism allows to draw analogies between notions of set theory and those of homotopy theory, and we indeed observe a similarity between homotopy theory ideology/yoga and that of PCF theory. We also briefly discuss conjectural connections with model theory and arithmetics and geometry.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.