Cartesian closed category (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Cartesian closed category" in English language version.

Last modified: 12:54:41, 12 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2^nd place

2^nd place

22semanticscholar.org

15^th place

8^th place

low place

low place

1,400^th place

754^th place

49^th place

31^st place

4^th place

4^th place

11mathoverflow.net

low place

low place

1,383^rd place

954^th place

arxiv.org (Global: 49^th place; English: 31^st place)

Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.

core.ac.uk (Global: 1,383^rd place; English: 954^th place)

Fiore, M.; Di Cosmo, R.; Balat, V. (2006). "Remarks on isomorphisms in typed lambda calculi with empty and sum types" (PDF). Annals of Pure and Applied Logic. 141 (1–2): 35–50. doi:10.1016/j.apal.2005.09.001.

doi.org (Global: 2^nd place; English: 2^nd place)

Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.
Backus, John (1981). "Function level programs as mathematical objects". Proceedings of the 1981 conference on Functional programming languages and computer architecture - FPCA '81. New York, New York, USA: ACM Press. pp. 1–10. doi:10.1145/800223.806757. ISBN 0-89791-060-5.
Solov'ev, S. V. (1983). "The category of finite sets and Cartesian closed categories". Journal of Mathematical Sciences. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID 122693163.
Fiore, M.; Di Cosmo, R.; Balat, V. (2006). "Remarks on isomorphisms in typed lambda calculi with empty and sum types" (PDF). Annals of Pure and Applied Logic. 141 (1–2): 35–50. doi:10.1016/j.apal.2005.09.001.

mathoverflow.net (Global: low place; English: low place)

"Ct.category theory - is the category commutative monoids cartesian closed?".

ncatlab.org (Global: low place; English: low place)

"cartesian closed category in nLab". ncatlab.org. Retrieved 2017-09-17.
Locally cartesian closed category at the nLab

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.
Solov'ev, S. V. (1983). "The category of finite sets and Cartesian closed categories". Journal of Mathematical Sciences. 22 (3): 1387–1400. doi:10.1007/BF01084396. S2CID 122693163.

ucr.edu (Global: 1,400^th place; English: 754^th place)

math.ucr.edu

Baez, John C.; Stay, Mike (2011). "Physics, Topology, Logic and Computation: A Rosetta Stone" (PDF). In Coecke, Bob (ed.). New Structures for Physics. Lecture Notes in Physics. Vol. 813. Springer. pp. 95–174. arXiv:0903.0340. doi:10.1007/978-3-642-12821-9_2. ISBN 978-3-642-12821-9. S2CID 115169297.

worldcat.org (Global: 4^th place; English: 4^th place)

search.worldcat.org

Saunders, Mac Lane (1978). Categories for the Working Mathematician (2nd ed.). Springer. ISBN 1-4419-3123-6. OCLC 851741862.