Yes, thanks. And actually a useful thing would be if the pullback symbol were in the top left such that something else still has room in the middle … such as an explicit 2-cell.
]]>SVG can be a bit scary at times, but I think that the method of including it via another instiki page is a neat way to make it useable (though I say so myself!). Typing \begin{svg}[[!include SVG rightarrow]]\end{svg}
is not a huge encumbrance and it makes it easy to expand the range of symbols considerably.
The difficult bit with the pullback diagrams is getting the pullback symbol in the right place. Ideally, one would like it at the top-left of the middle block in the matrix. There are a few possibilities on getting it there and I’m not sure that I’ve figured out the best one yet.
]]>Ah, thanks! That looks good.
I need to get myself used to adding that kind of code to my diagram…
]]>Couple of possibles using some SVG inclusions at the Sandbox.
]]>Another possibility is “cart” for “cartesian”.
]]>Urs, I’ve used “pb” myself, and see nothing wrong with it. It seems just as good to me as the right-angle (can’t see why it’s less good). I’ve also used “po” for pushout.
]]>*shrug*
But I need it for diagrams without ambient text. Such as sitting in tables currently in the Sandbox.
]]>I’d probably write “is a pullback” in the text. (-:
]]>??
]]>Does anyone have a suggestion for how to typeset in Instiki commuting squares with some kind of indication that they are supposed to be cartesian, i.e. pullbacks?
For the page that i am currently writing I now put put a “pb” in the center, as in
But that’s just a hack. There must be some better option.
What would you do?
]]>