Commit 3aa4ce67 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

Add example

parent e8a8ee78
functors:
- FixedProduct: [box, circle, triangle]
- Powerset
morphisms:
- - box # 0: s1
- triangle # 1: t1
- triangle # 2: t2
- circle # 3: c1
- circle # 4: c2
- circle # 5: c3
- - []
- [3, 4, 5]
- [3, 4]
- [0]
- [5]
- []
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment