AlgebraicJulia / AlgebraicJulia/Catlab.jl
Subobject classifier in C-Set
Ouverte
acsets
enhancement
- Langage dominant
- Julia
- Étoiles
- 724
- Forks
- 73
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
We should be able to compute the subobject classifier in C-Set, given a finite presentation of C. This will provide an alternative representation of sub-C-sets (#472).
Guide de contribution
Ouvrir le guide de contribution
Évaluation
Cette issue n'a pas encore été évaluée.