Commit 2024-09-29 20:16 85e29307
View on Github →feat(Combinatorics/Quiver/ReflQuiver): reflexive quivers (#16780)
Reflexive quivers are an intermediate structure between categories and quivers, containing only an identity element. This PR constructs ReflQuiver as a class and ReflQuiv which is the category of reflexive quivers and reflexive prefunctors.
Co-Authored-By: Emily Riehl eriehl@jhu.edu and Pietro Monticone 38562595+pitmonticone@users.noreply.github.com