Category theory and the foundations of mathematics: Philosophical excavations-Reference-Cited by-同舟云学术

Category theory and the foundations of mathematics: Philosophical excavations

Published:1995-06 Issue:3 Volume:103 Page:421-447
ISSN:0039-7857
Container-title:Synthese
language:en
Short-container-title:Synthese

Author:

Marquis Jean-Pierre

Publisher

Springer Science and Business Media LLC

Subject

General Social Sciences,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF01089735.pdf

Reference79 articles.

1. Barr, M. and Wells, C.: 1985,Toposes, Triples and Theories, Ergenbnisse Math. Wiss. 278, Springer-Verlag, New York.

2. Barr, M. and Wells, C.: 1988, ?The Formal Description of Data Types Using Sketches?, inMathematical Foundations of Programming Language Semantics, LNCS 298, Springer-Verlag, New York, pp. 490?527.

3. Barr, M. and Wells, C.: 1990,Category Theory for Computing Science, Prentice Hall, New York.

4. Beeson, M. J.: 1985,Foundations of Constructive Mathematics, Springer-Verlag, New York.

5. Bell, J. L.: 1981, ?Category Theory and the Foundations of Mathematics?,British Journal for the Philosophy of Science 32, 349?58.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstraction, equality and univalence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-07-31

2. Mathematical Pluralism and Indispensability;Erkenntnis;2023-02-21

3. Philosophy of Mathematical Practice — Motivations, Themes and Prospects†;Philosophia Mathematica;2019-02-01

4. Towards a unified framework for decomposability of processes;Synthese;2016-06-11

5. The Role of Symmetry in Mathematics;Foundations of Science;2016-03-07