Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeJul 15th 2011
• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeFeb 10th 2016

Please check the tag: you have 5 tags for this entry axiom, choice, of, set, theory. I guess you did not mean tag “of”.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeMay 23rd 2021

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 $Cat_{ana}$.

• CommentRowNumber4.
• CommentAuthorDavidRoberts
• CommentTimeMay 23rd 2021

Ooh, that’s good, thanks!

• CommentRowNumber5.
• CommentAuthorDavidRoberts
• CommentTimeMay 23rd 2021

Updated Makkai reference to also point to the published version

• CommentRowNumber6.
• CommentAuthorMike Shulman
• CommentTimeMay 23rd 2021

I wonder how SCSA is related to the axiom of stack completions. Are there implications either way?

• CommentRowNumber7.
• CommentAuthorDavidRoberts
• CommentTimeMay 24th 2021

I’ve not seen any.

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)