AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
614 stars 58 forks source link

Preferred arrow directions in models of composite objects #809

Open mhlr opened 1 year ago

mhlr commented 1 year ago

Arrow in models of composite systems tend to have the oppsite directions in programming languages (both OO & Functional) and relational models. In programing landuages the parent knows about its children while in relational models the children tend to know about their parent. There are several reasons for this

What is the preferred way in Catlab?