You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
James Deikun (Jan 28 2023 at 13:43):Are there any interesting properties of these qua span?
Morgan Rogers (he/him) (Jan 28 2023 at 14:30):The legs are jointly monic; is that the kind of thing you mean?
James Deikun (Jan 28 2023 at 14:52):Sort of; but I'm really more interested in properties that obviously cash out as something about the loose arrows in the double category of spans.
Mike Shulman (Jan 28 2023 at 21:13):Well, joint monicity of the legs translates to being a subterminal object of the hom-category of loose arrows... (-:O