AlgebraicJulia / AlgebraicJulia/Catlab.jl
Predicate logic of sub-C-sets
未关闭
acsets
enhancement
- 主要语言
- Julia
- 星标
- 724
- 派生
- 73
- PR 合并指标
- 30 天内没有已合并 PR
描述
PR #467 implemented the bi-Heyting algebra of sub-C-sets, which is the propositional fragment of the logic of a presheaf topos. We should upgrade it to predicate logic, which would involve implementing
- the pullback functor f^*: Sub(Y) -> Sub(X) induced by a C-set homomorphism f: X -> Y
- the left and right adjoints to this functor, which are generalized forms of existential and universal quantification
贡献指南
评估
这个 Issue 还没有评估数据。