search

Event-Structures / event-struct

Mechanized Theory of Event Structures
MIT License
16 stars 1 forks source link

refactor lposet homs #129

Closed volodeyka closed 3 years ago

volodeyka commented 3 years ago

Here I tried to refactor lposet homomorphisms a bit

  1. change notations (please tell me if you are not agree with it)
  2. add some canonical projections for id and comp