Skip to content

Show that polynomial functors preserve pullbacks #57

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Vtec234 opened this issue Feb 19, 2025 · 0 comments
Open

Show that polynomial functors preserve pullbacks #57

Vtec234 opened this issue Feb 19, 2025 · 0 comments
Labels
C-model Component: abstract natural model D-low Difficulty: low I-crit Impact: critical O-poly Other: improvements to Poly

Comments

@Vtec234
Copy link
Collaborator

Vtec234 commented Feb 19, 2025 •
edited
Loading

This should be easy given forgetCreatesConnectedLimits.

We need this to lift Pi formation from universe-monomorphic to universe-polymorphic as described here.
@Vtec234 Vtec234 added C-model Component: abstract natural model D-low Difficulty: low I-crit Impact: critical O-poly Other: improvements to Poly labels Feb 19, 2025
@Vtec234 Vtec234 self-assigned this Feb 19, 2025
@Vtec234 Vtec234 mentioned this issue Feb 19, 2025
Merged
@Vtec234 Vtec234 removed their assignment Apr 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-model Component: abstract natural model D-low Difficulty: low I-crit Impact: critical O-poly Other: improvements to Poly
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Vtec234