Skip to Main content Skip to Navigation
Conference papers

Comprehension and Quotient Structures in the Language of 2-Categories

Paul-André Melliès 1 Nicolas Rolland
1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-03103167
Contributor : Paul-André Melliès <>
Submitted on : Thursday, January 7, 2021 - 11:31:54 PM
Last modification on : Friday, January 8, 2021 - 3:36:38 AM

Identifiers

  • HAL Id : hal-03103167, version 1

Collections

INSMI | CNRS | UP-SCIENCES | UNIV-PARIS

Citation

Paul-André Melliès, Nicolas Rolland. Comprehension and Quotient Structures in the Language of 2-Categories. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Jun 2020, Paris, France. ⟨hal-03103167⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data