Effective taxonomies and crossed taxonomies
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1996)
- Volume: 37, Issue: 2, page 82-90
- ISSN: 1245-530X
Access Full Article
topHow to cite
topReferences
top- [A] Pierre Ageron - Logic and category theory without the axiom of identity, Rapports de Recherche du GRAL1993-5 Université de Caen.
- [D] Richard Dedekind - Was sind und was sollen die Zahlen (Vieweg, 1888). Zbl0088.04102MR106846
- [D'] Patrick Dehornoy - Algebraic properties of the shift mapping, Proceedings of the AMS106 (1989) 617-623. Zbl0679.20058MR969519
- [P] Timothy Porter - Crossed modules in Cat and a Brown-Spencer theorem for 2-categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques26 (1985) 381-388. Zbl0575.18006MR816647