I’ve not seen any.
]]>I wonder how SCSA is related to the axiom of stack completions. Are there implications either way?
]]>Updated Makkai reference to also point to the published version
]]>Ooh, that’s good, thanks!
]]>Added a guess at what the “local” version of SCSA might say, with some remarks that this suffices for (at least “weak”) local smallness and cartesian closure of .
]]>Please check the tag: you have 5 tags for this entry axiom, choice, of, set, theory. I guess you did not mean tag “of”.
]]>New page small cardinality selection axiom.
]]>