清楚
发表于 2025-3-30 09:36:04
https://doi.org/10.1007/978-3-211-71539-0 preserving weak pullbacks. We select finitary set functors because they are quotients of polynomial functors: the polynomial functor provides a ready-made signature and the quotient provides necessary additional axioms. We also show that certain operations on functors can be expressed with uniform