Reflexive graph quotients are pushouts

I'd like to tell about a theorem that has been useful for me on several occasions, that was also the first topicĀ in a series of presentations I'm currently giving at the CMU HoTT seminar. It characterizes the reflexive graph quotients as a certain pushout, so it allows us to find new, possibly more intuitive descriptions … Continue reading Reflexive graph quotients are pushouts

Advertisements