SpiceQA
Questions
Tags
Users
Badges
homomorphism
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Representing homomorphisms without writing all laws out
user_477476
0
•
asked Oct 5, 2019
3
1
78
homomorphism
homotopy-type-theory
cubical-type-theory
agda
1
(current)
Hot Questions