Categories as mathematical models
From MaRDI portal
Publication:5040179
zbMath1496.18008arXiv1409.6067MaRDI QIDQ5040179
Publication date: 11 October 2022
Full work available at URL: https://arxiv.org/abs/1409.6067
Foundations, relations to logic and deductive systems (18A15) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)
Related Items (2)
This page was built for publication: Categories as mathematical models