search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
219 stars 70 forks source link

Cisinski's Formalization of Higher Categories #1171

Closed EgbertRijke closed 3 weeks ago

EgbertRijke commented 1 month ago

In this pull request I am reading and formalizing Cisinski's Formalization of Higher Categories.

EgbertRijke commented 4 weeks ago

I have completed all the axioms from 1.1.1, so I'm marking this PR ready for review.

EgbertRijke commented 3 weeks ago

Thank you for your review Fredrik! I have implemented all the suggestions.

fredrik-bakke commented 3 weeks ago

It seems a syntax error made its way into the references file with your latest commit

fredrik-bakke commented 3 weeks ago

Merged :)

FernandoChu commented 3 weeks ago

Cool development! Just wanted to mention that the references are not displaying here.

fredrik-bakke commented 3 weeks ago

Cool development! Just wanted to mention that the references are not displaying here.

Oop, thanks for the report! This seems to be because the bibliography is empty. I'll write a fix when I find the time.