A short proof that Rezk's nerve is fully faithful

Fabian Hebestreit, Jan Steinebrunner

We give a simple proof that complete Segal animae are equivalent to categories.