Higher type categories

DOI10.1002/malq.19930390129zbMath0801.18001OpenAlexW2080856174WikidataQ126258344 ScholiaQ126258344MaRDI QIDQ4304137

Martin Dowd

Publication date: 20 November 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390129

zbMATH Keywords

cocompletenesshigher type categories

Mathematics Subject Classification ID

Applications of set theory (03E75) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item

This page was built for publication: Higher type categories