The nLab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy,...
5 KB (523 words) - 02:33, 7 September 2024
himself 1923–24 Lab MacDonald 1924 Con himself 1924–29 Lab MacDonald 1929–35 NLab Con himself 1935–37 Neville Chamberlain (1869–1940) Birmingham Edgbaston...
62 KB (1,866 words) - 22:23, 9 October 2024
& Lack 2007 free cocompletion in nlab free completion in nlab Borceux & Dejean 1986 Cauchy complete category in nlab Isbell 1960 Tight Spans, Isbell Completions...
4 KB (418 words) - 21:35, 3 August 2024
https://ncatlab.org/nlab/show/algebraic+homotopy Handbook of Algebraic Topology edited by I.M. James https://ncatlab.org/nlab/show/Algebraic+Homotopy...
1 KB (158 words) - 23:01, 9 September 2024
theory at the nLab dependent type at the nLab dependent product type at the nLab dependent sum type at the nLab dependent product at the nLab dependent sum...
26 KB (2,637 words) - 05:25, 7 October 2024
mathematical statistics, Dokl. Akad. SSSR 164, 1965. https://ncatlab.org/nlab/show/category-theoretic+approaches+to+probability+theory https://golem.ph...
2 KB (201 words) - 23:14, 4 October 2024
Look up power set in Wiktionary, the free dictionary. Power set at PlanetMath. Power set at the nLab Power object at the nLab Power set Algorithm in C++...
20 KB (2,430 words) - 23:13, 22 September 2024
Retrieved July 18, 2020. 「いろいろと攻めすぎてしまった」――ジャンプ＋「終末のハーレム」ついにiOS版アプリから削除される. nlab (ねとらぼ). ITmedia. April 16, 2017. Retrieved July 18, 2020. Shōnen Jump+ (@shonenjump_plus)...
33 KB (2,561 words) - 06:47, 12 October 2024
are an alternative to topological vector spaces. "liquid vector space in nLab". ncatlab.org. Retrieved 2023-11-07. Scholze, Peter. "Lectures on Analytic...
711 bytes (53 words) - 17:44, 10 July 2024
of all sets' Kashiwara, Masaki; Schapira, Pierre (2006). Categories and sheaves. empty category at nLab terminal category at nLab Cat at the nLab v t e...
3 KB (268 words) - 11:52, 31 October 2021
Night. Onsen Nozokimi Daisakusen was popular and well liked, according to NLab, who also noted that their review of it was their most-read article of the...
11 KB (1,036 words) - 08:30, 4 August 2024
"Resistance should begin now - Substance News". "first uncountable ordinal in nLab". NCatLab.org. Retrieved 12 August 2020. "Definition of Omega Male, BuzzWord...
16 KB (1,722 words) - 03:12, 8 October 2024
www.physics.rutgers.edu. Retrieved 2022-05-09. "quantum field theory". nLab. John Herapath (1847) Mathematical Physics; or, the Mathematical Principles...
50 KB (5,494 words) - 22:10, 11 October 2024
Retrieved 2 March 2024. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. pp. 118–119. ISBN 0-262-16209-1. unit type at the nLab...
9 KB (1,163 words) - 16:18, 25 May 2024
which is enabled by the subset of earlier events from the same sequence. The nlab simplifies these definitions in two ways: It replaces the family of consistent...
4 KB (521 words) - 22:56, 6 July 2024
natural transformation in nLab". "Natural Transformations". 7 April 2015. "Definition:Whiskering - ProofWiki". "Whiskering in nLab". https://arxiv.org/pdf/1612...
33 KB (5,663 words) - 12:43, 25 June 2024
Encyclopedia of Mathematics, EMS Press Linear functional at the nLab Nonlinear functional at the nLab Rowland, Todd. "Functional". MathWorld. Rowland, Todd. "Linear...
10 KB (1,446 words) - 10:57, 17 August 2024
2007. Retrieved August 21, 2007. 「バジリスク～甲賀忍法帖～」の10年後を描く新章「桜花忍法帖」TVアニメ化決定！. nlab.itmedia.co.jp (in Japanese). July 22, 2017. Archived from the original on...
24 KB (1,660 words) - 08:22, 10 October 2024
Meaning". www.dictionary.com. Retrieved 15 June 2022. "Separation axioms in nLab". ncatlab.org. Willard 2004, pp. 86–87 Bourbaki 1966, p. 75 See for instance...
16 KB (2,163 words) - 10:32, 20 August 2024
Springer. ISBN 0-387-97710-4. Presheaf at the nLab Free cocompletion at the nLab Daniel Dugger, Sheaves and Homotopy Theory, the pdf file provided by nlab....
7 KB (1,148 words) - 17:06, 4 September 2024
original on April 14, 2012. Retrieved March 24, 2012. "All pages in nLab". nLab. Retrieved 21 April 2023. "Statistics - PCGamingWiki PCGW - bugs, fixes...
37 KB (1,114 words) - 14:37, 20 September 2024
§ 1.1 Lay, Lay & McDonald (2016) p. 28, ch. 1 Axler (2015) p. 28, § 2.3 nLab (2015) Linear combinations. Axler (2015) pp. 29-30, §§ 2.5, 2.8 Katznelson...
18 KB (2,664 words) - 18:17, 4 September 2024
authors has extended since. The n-Café community is associated with the nLab wiki and nForum forum, which now run independently of n-Café. It is hosted...
15 KB (1,170 words) - 11:01, 10 October 2024
Foundations of Mathematics. Princeton, NJ: Institute for Advanced Study. MR 3204653. Intensional Logic (Stanford Encyclopedia of Philosophy) equality in nLab...
4 KB (527 words) - 11:45, 1 September 2024
project with the aim to cover "algebraic stacks and the algebraic geometry needed to define them" Free nLab English Category theory and related topics Free...
43 KB (593 words) - 13:49, 5 October 2024
Retrieved 21 January 2022. "Axiom K". nLab. Archived from the original on 2022-01-19. Retrieved 2022-01-21. Type Theory at nLab, which has articles on many topics...
59 KB (7,869 words) - 19:35, 13 September 2024
arXiv:q-alg/9503002, Bibcode:1995JMP....36.6073B, doi:10.1063/1.531236, MR 1355899, S2CID 14908618 https://ncatlab.org/nlab/show/stabilization+hypothesis v t e...
1 KB (149 words) - 16:49, 7 April 2022
logic and heyting-valued models". Journal of Pure and Applied Algebra. 42 (2): 141–164. doi:10.1016/0022-4049(86)90077-0. Quasitopos at the nLab v t e...
1 KB (109 words) - 13:12, 29 August 2023
Theory, Springer-Verlag, ISBN 978-0-387-97710-2 homotopy type theory at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics. The Univalent...
42 KB (5,062 words) - 00:31, 12 October 2024
Lipschutz, Seymour; Marc Lars Lipson (1997). Theory and Problems of Discrete Mathematics. McGraw-Hill. p. 33. ISBN 0-07-038045-7. nLab antisymmetric relation...
4 KB (589 words) - 16:30, 24 January 2024