AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl

C-Par rewriting

Đang mở
#61 2 bình luận 0 reaction 1 người được giao Được @kris-brown nhận Xem trên GitHub
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á.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.