• the data underlying a virtual double category
• types:
  • vertex
  • edge: in tight direction
    • has a domain and a codomain
  • pro-edge: edges in loose direction
    • has a source and a target
  • square: with multi-ary domain
    • has all 4 of domain, codomain, source, and target