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

]]>