search

maxsnew / cubical-categorical-logic

Extensions to the cubical stdlib category theory for categorical logic/type theory
MIT License
25 stars 5 forks source link

Free category with terminal object #79

Closed hejohns closed 6 months ago

hejohns commented 6 months ago

rebased onto #81

maxsnew commented 6 months ago

@hejohns is this still a draft or is it ready to review?

hejohns commented 6 months ago

What’s there is ready for review. I wasn’t sure if we wanted anything else in the same PR, but I can just put in another PR.

On Thu, May 16, 2024 at 10:41 AM Max S. New @.***> wrote:

@hejohns https://github.com/hejohns is this still a draft or is it ready to review?

— Reply to this email directly, view it on GitHub https://github.com/maxsnew/cubical-categorical-logic/pull/79#issuecomment-2115439263, or unsubscribe https://github.com/notifications/unsubscribe-auth/AJXMUSIXHPVVXPE3G2TBXOTZCTAR7AVCNFSM6AAAAABHZNP6EOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCMJVGQZTSMRWGM . You are receiving this because you were mentioned.Message ID: @.***>