Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Tags
paper-category-of-iterative-sets
paper-category-of-iterative-sets
Elisabeth.Bonnevier
@Elisabeth.Bonnevier
677c050d
·
Add naturality condition to V0 CwF
·
Feb 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Commit used for the paper The Category of Iterative Sets