Archives pour la catégorie category theory

Urs Schreiber : higher structures in mathematics and physics

https://ncatlab.org/schreiber/show/Higher+Structures

Iconicity and abduction

https://books.google.fr/books?id=Iu4QDQAAQBAJ&pg=PA169&lpg=PA169&dq=allegory+homotopy+type+theory&source=bl&ots=3SWXxTBwqB&sig=i8K4173iDyVVQFmXugXuNfVFJ3Y&hl=fr&sa=X&ved=0ahUKEwixgIi428PXAhWBfFAKHbFzAbU4ChDoAQg-MAk#v=onepage&q=allegory%20homotopy%20type%20theory&f=false

Freyd, Scedrov : categories, allegories

https://books.google.fr/books?id=fCSJRegkKdoC&pg=PR4&lpg=PR4&dq=freyd+scedrov+categories+allegories&source=bl&ots=HDQDTeHg9e&sig=Dc189tOztUJUvg2Y8CX6VEGywC8&hl=fr&sa=X&ved=0ahUKEwiipoLs17PXAhXQ-6QKHROoAFoQ6AEINzAJ#v=onepage&q=freyd%20scedrov%20categories%20allegories&f=false

https://ncatlab.org/nlab/show/Categories%2C+Allegories

https://ncatlab.org/nlab/show/allegory

∞-cosmos : articles

http://nyjm.albany.edu/j/2017/23-35v.pdf

https://www.emis.de/journals/TAC/volumes/32/31/32-31.pdf

https://msp.org/agt/2017/17-1/p08.xhtml