# 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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTime2 days ago

Split page from reflective factorization system, with some additional characterizations.

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTime2 days ago

It looks like markdown and math are turned off inside \begin{center}. Seems like a bug?

Also I am having issues with tikzcd: the following is rejected, although it works fine on my computer:

\begin{tikzcd}
x \ar[dr] \ar[drr,"{\eta_x}"] \ar[ddr,"f"'] \ar[dr,"{\lambda_f}" description] \\
& \bullet \ar[r,"g"'] \ar[d,"{\rho_f}"] \ar[dr,phantom,"\ulcorner"] & L x \ar[d,"L f"] \\
& y \ar[r,"{\eta_y}"'] & L y
\end{tikzcd}


And one more: when the renderer rejects a page save with an error, it would be useful if text entered in the “describe this edit” box were not lost.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTime2 days ago

Ah, the problem with my tikzcd diagram is that \ulcorner wasn’t defined. I didn’t see this in my testing because I generally use amsart, so I don’t have to manually load the ams packages. Could you add the ams math packages to the compiler for tikz?

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTime2 days ago

Added some more equivalent characterizations, in particular the one that connects to categorical Galois theory.

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTime2 days ago

Huh, now the two rectangles in the proof look totally bizarre. All the arrows are there, but the letters appear to be redistributed randomly to the vertices and labels, with some of them turned into bullets.