nLab
protomodular category

Examples

References

Revised on June 13, 2013 17:30:55 by Urs Schreiber (82.169.65.155)