no. 2
Effective taxonomies and crossed taxonomies
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 2, pp. 82-90 
@article{CTGDC_1996__37_2_82_0,
     author = {Ageron, Pierre},
     title = {Effective taxonomies and crossed taxonomies},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {82--90},
     year = {1996},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {37},
     number = {2},
     mrnumber = {1394504},
     zbl = {0859.18002},
     language = {en},
     url = {https://www.numdam.org/item/CTGDC_1996__37_2_82_0/}
}
TY  - JOUR
AU  - Ageron, Pierre
TI  - Effective taxonomies and crossed taxonomies
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1996
SP  - 82
EP  - 90
VL  - 37
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - https://www.numdam.org/item/CTGDC_1996__37_2_82_0/
LA  - en
ID  - CTGDC_1996__37_2_82_0
ER  - 
%0 Journal Article
%A Ageron, Pierre
%T Effective taxonomies and crossed taxonomies
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1996
%P 82-90
%V 37
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U https://www.numdam.org/item/CTGDC_1996__37_2_82_0/
%G en
%F CTGDC_1996__37_2_82_0
Ageron, Pierre. Effective taxonomies and crossed taxonomies. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 37 (1996) no. 2, pp. 82-90. https://www.numdam.org/item/CTGDC_1996__37_2_82_0/

[A] Pierre Ageron - Logic and category theory without the axiom of identity, Rapports de Recherche du GRAL 1993-5 Université de Caen.

[D] Richard Dedekind - Was sind und was sollen die Zahlen (Vieweg, 1888). | Zbl | MR

[D'] Patrick Dehornoy - Algebraic properties of the shift mapping, Proceedings of the AMS 106 (1989) 617-623. | Zbl | MR

[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égoriques 26 (1985) 381-388. | Zbl | MR | Numdam