Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or...
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
Logical Methods in Computer Science e.V.
2018-09-01
|
| Loạt: | Logical Methods in Computer Science |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://lmcs.episciences.org/4763/pdf |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|