Cartesian naturality squares in homomorphism search

未关闭

#726 创建于 2022年12月8日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

acsets enhancement

描述

Can we have homomorphism search enforce that certain squares are pullbacks? This would give use Etale Maps but for arbitrary C-Sets.

这个 Issue 还没有评估数据。