Skip to content
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

move precategories to separate folder and rename to wild categories #1103

Merged
merged 10 commits into from
Feb 21, 2024
Merged

move precategories to separate folder and rename to wild categories #1103

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
a72d84c
introduce wild categories, copying from precategories
felixwellen Feb 15, 2024
e9a4dcd
split further
felixwellen Feb 15, 2024
60e390a
define univalence, fix things
felixwellen Feb 15, 2024
d063edb
add path category
felixwellen Feb 16, 2024
29a9320
refactor use case
felixwellen Feb 20, 2024
36c1570
remove now obsolete precategory
felixwellen Feb 20, 2024
7aa2a04
update refs in Papers
felixwellen Feb 20, 2024
2143d99
move instance (of WildCat)
felixwellen Feb 20, 2024
ee1bb78
rename
felixwellen Feb 20, 2024
81ff637
remove duplication
felixwellen Feb 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
338 changes: 0 additions & 338 deletions Cubical/Categories/Category/Precategory.agda
View file
Open in desktop

This file was deleted.

25 changes: 0 additions & 25 deletions Cubical/Categories/Instances/Categories.agda
View file
Open in desktop

This file was deleted.

19 changes: 0 additions & 19 deletions Cubical/Categories/Instances/TypePrecategory.agda
View file
Open in desktop

This file was deleted.

Loading
Loading