Text this: Relating Reversible Petri Nets and Reversible Event Structures, categorically