Concrete fibrations
From MaRDI portal
Publication:2364646
DOI10.1215/00294527-3817788zbMath1386.18001arXiv1105.4710OpenAlexW3037227177MaRDI QIDQ2364646
Publication date: 21 July 2017
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1105.4710
Special categories (18B99) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)
This page was built for publication: Concrete fibrations