Skip to content

Isofibrations#616

Draft
plt-amy wants to merge 3 commits into
mainfrom
isofibrations
Draft

Isofibrations#616
plt-amy wants to merge 3 commits into
mainfrom
isofibrations

Conversation

@plt-amy

@plt-amy plt-amy commented Apr 2, 2026

Copy link
Copy Markdown
Member

todo:

  • prose for Isofibration.Free
  • actually make Cartesian.Street about Street fibrations
  • equivalence between Displayed B and Cat/B? since that requires Cat/B, that is a bit of a pain.

@Lavenza

Lavenza commented Apr 2, 2026

Copy link
Copy Markdown
Member

Pull request preview

New pages
Changed pages

@plt-amy plt-amy requested a review from TOTBWF April 3, 2026 17:33
Comment thread src/Cat/Displayed/Isofibration/Free.lagda.md
Comment thread src/Cat/Displayed/Isofibration/Free.lagda.md Outdated
Comment thread src/Cat/Displayed/Isofibration/Free.lagda.md
@plt-amy plt-amy force-pushed the isofibrations branch 2 times, most recently from b2adc47 to af99ddf Compare June 25, 2026 13:45
@plt-amy plt-amy force-pushed the isofibrations branch 2 times, most recently from 947e00a to 2f85e07 Compare June 26, 2026 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants