Skip to main content
2 of 2
Fixed a couple of adjectives
Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64

Isomorphic subcategories of directed graphs and presets

For the purposes of this post, a digraph (directed graph) has neither loops nor multiple parallel edges, and a preset is an ordered pair consisting of a set $S$ and a preorder (viz., a reflexive and transitive binary relation) on $S$.

Now, fix a nonempty universe $\Omega$, and let $\mathsf{Dig}$ and $\mathsf{Pre}$ be the usual categories of $\Omega$-small digraphs and $\Omega$-small presets. Do we know of any maximal full subcategories of $\mathsf{Dig}$ and $\mathsf{Pre}$ that happen to be isomorphic to each other? If so, I wound much appreciate some references.

Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64