added a preliminary category-theoretic reformulation of Shelah’s dividing lines NOP, NSOP, NSOPn, and NFCP
Anonymous
]]>added minor clarifications in the proof of characterisation of simple theories
Anonymous
]]>added minor clarifications in the proof of characterisation of simple theories
Anonymous
]]>The page defines the category of simplicial objects of the category of filters on sets. The category is flexible enough to formulate categorically a number of standard basic elementary definitions in various fields, e.g. in analysis, limit, (uniform) continuity and convergence, equicontinuity of sequences of functions; in algebraic topology, being locally trivial and geometric realisation; in geometry, quasi-isomorphism; in model theory, stability and simplicity of a theory.
Anonymous
]]>The page defines the category of simplicial objects of the category of filters on sets. The category is flexible enough to formulate categorically a number of standard basic elementary definitions in various fields, e.g. in analysis, limit, (uniform) continuity and convergence, equicontinuity of sequences of functions; in algebraic topology, being locally trivial and geometric realisation; in geometry, quasi-isomorphism; in model theory, stability and simplicity of a theory.
Anonymous
]]>This is an article about the category of simplicial objects of the category of filters on sets, with a list of examples.
Anonymous
]]>This is an article about the category of simplicial objects of the category of filters on sets, with a list of examples.
Anonymous
]]>This is an article about the category of simplicial objects of the category of filters on sets, with a list of examples.
Anonymous
]]>