Frame): The category of frames (#12363)

Commit

3 years ago

feat(order/category/Frame): The category of frames (#12363) Define `Frame`, the category of frames with frame homomorphisms.

Author

YaelDillies

Parents