Category Theory
Zulip Server
Archive

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.

Stream: community: our work

Topic: Hayato Nasu

Hayato Nasu (Jun 27 2024 at 13:56):

Hey there! Here are the slides from the talk I gave two days back. I'm eager to discuss the topic I didn't get to cover in the talk, and I'd love to hear your thoughts on it too.
In the talk, I said that the double category of M-relations is unit-pure and Cauchy if and only if $\mathrm{M}\subset\mathsf{Mono}$, which is equivalent to (1) $\mathsf{StorongEpi}\subset\mathrm{E}$. On the other hand, Pavlović proved in the bicategorical context that this is equivalent to (2) $\mathsf{RegEpi}\subset\mathrm{E}$ ([Pav95] in the references). So, with the two long proofs of his and ours, we obtained (1)$\Leftrightarrow$(2) for any stable factorization system $(\mathrm{E},\mathrm{M})$ on any category $\mathcal{C}$ with finite limits, which he conjectured to be false in the paper. We also got direct proof of this equivalence, (which was a week ago!) Does anybody know this was already shown in any literature?
Link:
https://hayatonasu.github.io/hayatonasu/Talks/DCR-CT2024.pdf

Zoltan A. Kocsis (Z.A.K.) (Jun 27 2024 at 14:02):

I don't see the slides, is that a problem on my end or are they not linked?

Hayato Nasu (Jun 27 2024 at 14:33):

Thank you for letting me know! I fixed it.

Chad Nester (Jun 28 2024 at 07:48):

In Kelly's 1991 paper "A Note on Relations Relative to a Factorization System", in the paragraph following proposition 2.2, he claims to have established that in any category with a stable factorization system the strong epimorphisms coincide with the regular ones. This would imply that (1)$\Leftrightarrow$(2), so it might be worth looking at!

Chad Nester (Jun 28 2024 at 07:49):

(He may also be assuming that the category in question has finite limits, although I guess this shouldn't be a problem).

Hayato Nasu (Jun 28 2024 at 15:58):

Thank you for your comment. Actually, by a stable factorization system, he means a proper one. (The right class is included in the class of the monomorphisms). In that case, the situation gets much simpler, which is also mentioned in the paper by Pavlović. I, for one, am interested in the cases where the factorization systems are not proper.

Chad Nester (Jun 29 2024 at 07:16):

I see! Clearly I need to read more carefully. Sorry about that.