AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
C-Par rewriting
Đang mở
enhancement
- Ngôn ngữ chính
- Julia
- Star
- 41
- Fork
- 9
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
$C$-**Par** rewriting is a practical necessity for certain modeling applications where we wish to use a rewrite rule to change the value of an outgoing hom for some object *without* deleting+recreating the object.
The intermediate state of the world (and of the rewrite rule, i.e. the $I$ component) in this case would not satisfy the discrete opfibration condition of $C$-**Set**. But this should be functionally equivalent to rewriting where the relevant hom has been replaced by a span.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.