Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Sep 15, 2011
  1. Split definition of GraphMorphism's ≈ into two separate relations tha…

    james.cook authored
    …t must both be satisfied
Commits on Sep 13, 2011
  1. James Cook

    Added requirement to GraphMorphism equality that F₀ must explicitly p…

    mokus0 authored
    …reserve propositional equality.
    Unlike Functor, this is not automatic because not all edge-setoids are necessarily inhabited.
  2. James Cook

    Defined a category of Graphs and graph homomorphisms and a forgetful …

    mokus0 authored
    …functor Underlying : Categories ⇒ Graphs
Something went wrong with that request. Please try again.