Mathematical Applications of Category Theory

DOI10.1090/CONM/030MaRDI QIDQ3317040zbMATH OpenOpenAlexFDO

Authors

Publication date 1984

Published in Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/conm/030

zbMATH Keywords

ProceedingsMeetingCategory theoryDenver/ColoradoMathematical applications

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Conference proceedings and collections of articles (00Bxx)

Recommendations

• Categories in Computer Science and Logic
• Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain's 80th birthday, Ohio State University, Columbus, Ohio, March 16--18, 2018
• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• scientific article; zbMATH DE number 3335935
• scientific article; zbMATH DE number 45104

Cited in

(5)

• Logical foundations for programming semantics
• On Small Types in Univalent Foundations
• Category theory. Applications to algebra, logic and topology. Proceedings of the International Conference held at Gummersbach, July 6--10, 1981
• Categories in Computer Science and Logic
• Category theory, homology theory and their applications I. Proceedings of the conference held at the Seattle Research Center of the Battelle Memorial Institute, June 24 -- July 19, 1968, Volume one

This page was built for publication: Mathematical Applications of Category Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3317040)