DOSEN PROFIL LENGKAP

The nLab is a wiki for research-level notes, expositions and collaborative work. It includes original research in mathematics, physics, and philosophy...

Exceptions." Harvard Business School Working Paper, No. 16-124, April 2016. (Revised May 2016.) See [3], accessed 2 August 2016. Conway's law at the nLab...

find copies in book stores and recommended reading the e-book versions. NLab liked the series, describing it as standing out from other manga about gay...

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...

https://ncatlab.org/nlab/show/higher+category+theory https://ncatlab.org/nlab/show/geometric+shape+for+higher+structures https://ncatlab.org/nlab/show/Trimble+n-category...

Nozokimi Daisakusen was popular and well received by players, according to NLab, who noted that their review of it was their most-read article of the week...

Stanford University, retrieved 7 February 2025 "first uncountable ordinal in nLab". NCatLab.org. Retrieved 12 August 2020. Weisstein, Eric W. "Wright Function"...

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...

Retrieved July 18, 2020. 「いろいろと攻めすぎてしまった」——ジャンプ+「終末のハーレム」ついにiOS版アプリから削除される. nlab (ねとらぼ). ITmedia. April 16, 2017. Retrieved July 18, 2020. Shōnen Jump+ (@shonenjump_plus)...

& Lack 2007 free cocompletion in nlab free completion in nlab Borceux & Dejean 1986 Cauchy complete category in nlab Isbell 1960 Tight Spans, Isbell Completions...

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++...

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...

Theory and Applications of Categories. 12 (15): 492–528. https://ncatlab.org/nlab/show/Lie+2-algebra https://golem.ph.utexas.edu/category/2007/08/string_a...

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...

Street 1974, § 1.4. 2-functor in nLab Composition in nLab Pseudofunctor in nLab Lax natural transformation in nLab Gray 1974 Bénabou, Jean (1967). "Introduction...

"Condensed Mathematics and Complex Geometry" (PDF). "liquid vector space in nLab". ncatlab.org. Retrieved 2023-11-07. Scholze, Peter. "Lectures on Analytic...

 123–153. doi:10.1007/BFb0072309. ISBN 978-3-540-05442-9. https://ncatlab.org/nlab/show/double+category https://math.stackexchange.com/questions/1649138/on...

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...

mathematical statistics, Dokl. Akad. SSSR 164, 1965. https://ncatlab.org/nlab/show/category-theoretic+approaches+to+probability+theory https://golem.ph...

natural transformation in nLab". "Natural Transformations". 7 April 2015. "Definition:Whiskering - ProofWiki". "Whiskering in nLab". https://arxiv.org/pdf/1612...

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...

original on April 14, 2012. Retrieved March 24, 2012. "All pages in nLab". nLab. Retrieved 21 April 2023. "Statistics - PCGamingWiki PCGW - bugs, fixes...

program. Condolences for the aircraft accident at Muan International Airport]. Nlab (in Japanese). ITmedia. December 31, 2024. Retrieved January 2, 2025. Ahn...

various relations between M-theory and superstring theory. nLab contributors (2021-07-27). Hořava-Witten theory at the nLab. Accessed 2021-10-25. v t e...

2021-12-15. Retrieved 2013-07-01. "女子高生忍者が熱海の街を追いかけっこ ダイナミック下校すごい！ - ねとらぼ". Nlab.itmedia.co.jp. Retrieved 2015-11-06. "ZVP". YouTube. Archived from the original...

www.physics.rutgers.edu. Retrieved 2022-05-09. "quantum field theory". nLab. John Herapath (1847) Mathematical Physics; or, the Mathematical Principles...

fibration at the nLab descent at the nLab Picard Groups of Moduli Problems, p. 52. theorem Artin representability+theorem at the nLab Michael Artin, Algebraization...

Theory, Springer-Verlag, ISBN 978-0-387-97710-2 homotopy type theory at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics Archived 2021-01-22...

The rising sea: Foundations of algebraic geometry. "Yoneda embedding". nLab. Retrieved 6 July 2019. Loregian (2021), Theorem 1.4.1. Loregian (2021),...

Meaning". www.dictionary.com. Retrieved 15 June 2022. "Separation axioms in nLab". ncatlab.org. Archived from the original on 2020-09-30. Retrieved 2019-10-16...

uses it to study algebra in the ∞-categorical context. http://ncatlab.org/nlab/show/Higher+Topos+Theory If I want to study Jacob Lurie's books "Higher Topoi...

Journal of Mathematics 81.3 (1959): 639–657. https://ncatlab.org/nlab/show/minimal+fibration https://ncatlab.org/nlab/show/minimal+Kan+fibration v t e...

original on 2013-05-23. Retrieved 2016-11-01. "iモード「アクマ召喚プログラム」の無料体験プレイ". NLab (in Japanese). IT Media. 2000-10-03. Archived from the original on 2020-01-27...

electronic journal of category theory, full text, free, funded in 1957. nLab, a wiki project on mathematics, physics and philosophy with emphasis on the...

Encyclopedia of Mathematics, EMS Press Linear functional at the nLab Nonlinear functional at the nLab Rowland, Todd. "Functional". MathWorld. Rowland, Todd. "Linear...

the nLab category of presheaves at the nLab Free cocompletion at the nLab Daniel Dugger, Sheaves and Homotopy Theory, the pdf file provided by nlab....

Lecture Notes in Mathematics, vol. 1616, Berlin: Springer-Verlag, doi:10.1007/BFb0094441, ISBN 3-540-60319-0, MR 1440857 Classifying topos at the nLab v t e...

1-37. nLab Authors (August 2024). "William Lawvere". nLab. F. Lawvere, William (27 September 1997). "Toposes of laws of motion" (PDF). nLab (transcript...

Bibcode:1962RSPSA.268...57D. doi:10.1098/rspa.1962.0124. ISSN 0080-4630. "membrane in nLab". ncatlab.org. Retrieved 19 June 2024. Kragh 1990, pp. 198, 348 Sanyuk, Valerii...

University Press. p. 146. ISBN 978-0192511553. "Proof by contradiction". nLab. Retrieved 7 October 2022. Richard Hammack, Book of Proof, 3rd edition, 2022...

Groups to 2-groups - gives a characterization of String(n) as a 2-group string group at the nLab Whitehead tower at the nLab What is an elliptic object?...

Theory. Hoboken, New Jersey: Wiley. ISBN 978-0-471-24195-9. Entropy at the nLab Carter, Tom (March 2014). An introduction to information theory and entropy...

commutative. "exchange law in nLab". ncatlab.org. Retrieved 2025-05-27. Mac Lane 1978, Ch. II., § 5. "commutative monoidal category in nLab". ncatlab.org. Retrieved...

Alonzo Church (1956) Introduction To Mathematical Logic Vol 1 ETCS at the nLab Chatzikyriakidis, Stergios; Luo, Zhaohui (2017-02-07). Modern Perspectives...

finite group and some AGN-applications (Report). Bielefeld. "Mackey functor". nLab. Retrieved January 3, 2025. Barwick, Clark (2017). "Spectral Mackey functors...

2000), Introduction to Lambda Calculus (PDF) explicit substitution at the nLab de Queiroz, Ruy J. G. B. (1988). "A Proof-Theoretic Account of Programming...

Mechanics. John Wiley & Sons. p. 104. ISBN 978-3-527-60686-3. "Ising model". nlab-pages.s3.us-east-2.amazonaws.com. Retrieved 2022-01-12. "The Ising Model"...

https://ncatlab.org/nlab/show/algebraic+homotopy Handbook of Algebraic Topology edited by I.M. James https://ncatlab.org/nlab/show/Algebraic+Homotopy...

interview - Why not adopt the flick-input ? How to vibrato ?]. ネトラボ [Net Labo] (nlab.itmedia.co.jp) (in Japanese). ITmedia Inc. Retrieved March 24, 2016....

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...

a musician and as a human being," reports on their move to Sony Music.]. nlab.itmedia.co.jp (in Japanese). February 9, 2017. Retrieved February 3, 2024...

"cartesian closed category in nLab". ncatlab.org. Retrieved 2017-09-17. Locally cartesian closed category at the nLab Barendregt, H.P. (1984). "Theorem...

Lecture, 25 September 2012 on YouTube N = 4 D = 4 super Yang–Mills theory from nLab Postnikov, Alexander (2006-09-27). "Total positivity, Grassmannians, and...

2007. Retrieved August 21, 2007. 「バジリスク～甲賀忍法帖～」の10年後を描く新章「桜花忍法帖」TVアニメ化決定！. nlab.itmedia.co.jp (in Japanese). July 22, 2017. Archived from the original on...

from Symplectic vector field on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. symplectic vector field on nLab...

(PlayStation, 2002)". MobyGames. Retrieved 2025-07-07. "「コワイシャシン」HPで除霊のコツをGET！". nlab.itmedia.co.jp. 2002-06-11. Archived from the original on 2025-01-09. Retrieved...

ISBN 0-226-51183-9. OCLC 41266205. "compactly generated topological space". nLab. 28 May 2023. Tillotson, J.; Booth, Peter I. (March 1980) [Received 2 October...

https://mathoverflow.net/questions/123513/the-role-of-anr-in-modern-topology?r=SearchResults&s=5%7C50.6943 https://ncatlab.org/nlab/show/absolute+retract...

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...

support was added for Java ME phones, in addition to the initial BREW release. NLab called Shin Megami Tensei J a "must-play" game for series fans, and Dengeki...

prominent author on the subject of groupoids in topology: http://groupoids.org.uk/ fundamental groupoid at the nLab fundamental infinity-groupoid at the nLab...

pp. 20–24. ISBN 978-0199237180. OCLC 740446073. projective object at the nLab Serre, Jean-Pierre (2003). Trees. Springer Monographs in Mathematics. Springer...

(Lecture Notes in Mathematics, 1768); Publisher, Springer; https://ncatlab.org/nlab/show/stratified+space https://mathoverflow.net/questions/258562/correct-...

The U.S. Army Combat Capabilities Development Command Soldier Center (DEVCOM SC), commonly known as Natick Laboratories, is a military laboratory located...

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...

inactive as of September 2025 (link) Symmetric monoidal category at the nLab This article incorporates material from Symmetric monoidal category on PlanetMath...

of Categorical Algebra. CUP. Lurie, Jacob (2009). Higher Topos Theory. Princeton University Press. Profunctor at the nLab Heteromorphism at the nLab...

(f\simeq g):\Leftrightarrow (\forall x.(f(x)\sim g(x))).} "Kleene equality in nLab". ncatlab.org. Cutland 1980, p. 3. Farmer, William M.; Guttman, Joshua D...

and Letters. Retrieved 2 August 2022. motive in nLab Deligne tensor product of abelian categories in nLab Yakov Varshavsky (2005), "A proof of a generalization...

" Detective Takagi & George Kojima appeal the movie "Detective Conan"]. nlab.itmedia.co.jp (in Japanese). March 29, 2016. Archived from the original on...

dynamics#Quantization) Matrix string theory Banks et al. 1997 BFSS matrix model in nLab Connes 1994, p. 1 Connes 1994 Connes, Douglas, and Schwarz 1998 Nekrasov...

https://www.ams.org/bookstore/pspdf/stml-47-prev.pdf https://ncatlab.org/nlab/show/C-star+dynamical+system https://www.turing.ac.uk/research/interest-...

publications, Vol. 37, 2nd Ed., AMS Bookstore, 1964, ISBN 978-0-8218-1037-8 "Module", Encyclopedia of Mathematics, EMS Press, 2001 [1994] module at the nLab...

Theory. Springer Science & Business Media. ISBN 9781461206910. "limit in nLab". ncatlab.org. Retrieved 2019-11-22. Baez, John (2015-12-01). "Golay Code"...

plato.stanford.edu. Retrieved 2020-08-12. "first uncountable ordinal in nLab". ncatlab.org. Archived from the original on 2020-10-03. Retrieved 2020-08-12...

doi:10.1070/PU1982v025n04ABEH004533. ISSN 0038-5670. "Yang-Mills instanton in nLab". ncatlab.org. Retrieved 2023-04-11. See, for instance, Nigel Hitchin's paper...

February 16, 2019. アニメ会社「プロダクションリード」、旧社名の「葦プロダクション」に名称変更 「ミンキーモモ」「ラムネ&40」などを制作. nlab.itmedia.co.jp (in Japanese). February 15, 2019. Retrieved September 14, 2025...

2022. ルミネス −音と光の電飾パズル− [Lumines: Sound and Light Illuminating Puzzle]. Nlab.ITmedia (in Japanese). Archived from the original on August 5, 2021. Retrieved...

Topology. Providence, R.I.: American Mathematical Society. "CW complex in nLab". "CW-complex - Encyclopedia of Mathematics". Archived at Ghostarchive and...

Encyclopedia of Mathematics, EMS Press, 2001 [1994] See functor at the nLab and the variations discussed and linked to there. André Joyal, CatLab, a...

Lipschutz, Seymour; Marc Lars Lipson (1997). Theory and Problems of Discrete Mathematics. McGraw-Hill. p. 33. ISBN 0-07-038045-7. nLab antisymmetric relation...

Algebra (Last update: September 2017)" (PDF). Locally constant sheaf at the nLab https://golem.ph.utexas.edu/category/2010/11/locally_constant_sheaves.html...

September 10, 2006. Retrieved June 29, 2023. "SBG:「ウイイレ8」イメージキャラクターはジーコ氏！". nlab.itmedia.co.jp. Retrieved 19 August 2024. Edge staff (December 2004). "Pro...

to Noncommutative geometry. Connection in noncommutative geometry in the nLab Theories of Noncommutative Geometry at MathOverflow Noncommutative geometry...

space Unicoherent space – Type of topological space "n-connected space in nLab". ncatlab.org. Retrieved 2017-09-17. Ronald, Brown (June 2006). Topology...

2007.v1.n1.a1. S2CID 30505126. Quotations related to Geometric Langlands correspondence at Wikiquote Quantum geometric Langlands correspondence at nLab...

1.5. "A Serre fibration between CW-complexes is a Hurewicz fibration in nLab". May, Ch. 8, § 2. May, Ch. 8, § 6. Milnor 1959, Theorem 3. Dwyer & Spalinski...

Foundations of Mathematics. Cambridge University Press. ISBN 978-0-521-63107-5., nlab entry at [1] Dito Pataraia. A constructive proof of Tarski’s fixed-point...

equivalence Stable module category Eilenberg–Watts theorem "module category in nLab". ncatlab.org. trivially since any module is a quotient of a free module...

Mathematics, EMS Press, 2001 [1994] descent morphism at the nLab Beck-Chevalley condition at the nLab "Standard construction", Encyclopedia of Mathematics,...

JSTOR 2691431, MR 1448883. Euclid's Elements, Book XIII, Proposition 10. nLab: pentagon decagon hexagon identity. 3 : 4 : 5 triangle 30–60–90 triangle...

ISBN 978-981-19-7261-4. ISSN 2366-8717. Krabbe 1975, p. 7. "function extensionality in nLab". ncatlab.org. Retrieved 1 March 2025. Lévy 2002, p. 27. Malik, D. S.; Mordeson...

アニメ「アポカリプスホテル」　CygamesPictures代表・竹中信広、脚本家・村越繁ロングインタビュー　ヤチヨの暴力にもロジックがある. NLab (in Japanese). July 12, 2025. Retrieved August 1, 2025. Pineda, Rafael Antonio...

mathematical foundation of quantum field theory. Schreiber is a co-creator of the nLab, a wiki for research mathematicians and physicists working in higher category...

and geometric combinatorics, volume 423 of Contemp. Math., 305–324. Amer. Math. Soc., Providence, RI fundamental groupoid at the nLab core at the nLab...

Lecture Notes on the Lambda Calculus" (PDF). Schmidt 1994 "adjoint functor in nLab". ncatlab.org. @FunctorFact (5 July 2016). "Functor Fact on Twitter" (Tweet)...

Set Theory, 3rd edition, "Well-founded relations", pages 251–5, Marcel Dekker ISBN 0-8247-7915-0 https://ncatlab.org/nlab/show/well-founded+coalgebra...

Press Release". MCV. Retrieved October 5, 2011. "「王家の谷」も登場！コナミiアプリに新作". nlab.itmedia.co.jp. 2002-05-08. "コナミ、iアプリ対応の通信型対戦ゲーム配信サイトオープン". k-tai.watch.impress...

Paul Taylor, Towards a unified treatment of induction, I: the general recursion theorem (1996). Remark 2.5. in https://ncatlab.org/nlab/show/Zorn's+lemma...

{\displaystyle R_{-},R_{+}} lower or raise degrees. Note some authors such as nlab require each factorization to be unique. A Reedy model structure is a canonical...

ISBN 0-387-98403-8. Zbl 0906.18001. commutativity of limits and colimits at the nLab Adámek, Jiří; Horst Herrlich; George E. Strecker (1990). Abstract and Concrete...

and Computation (PhysComp '92) proceedings. See also the dis­cuss­ion at nLab, Revision 42, which cites G.D. Crown, "On some orthomodular posets of vector...

Language Workbook. Tuttle Publishing. ISBN 9781462913978. "Yoneda embedding". nLab. Retrieved 6 July 2019. Unicode Consortium (2015-12-02) [1994-03-08]. "Shift-JIS...

(2): 261–293, doi:10.1017/S0956796802004501, MR 1985376, S2CID 10069160. Implementation of setoids in Rocq Setoid at the nLab Bishop set at the nLab...

roulette wheel function, saying that it added to the tension in the battles. NLab appreciated the story's handling of the character Nemissa, and how it gives...

Vol. 67. Translated by Greenberg, Marvin Jay. Springer-Verlag. pp. 117–118. ISBN 0-387-90424-7. Zbl 0423.12016. transgression at the nLab v t e v t e...

"On the algebraic theory of coordinate atlases, II". Trudy Sem. Vektor. Tenzor. Anal. (in Russian). 14: 229–281. MR 0253970. Mal'cev variety at the nLab...

to demons, and called it a "must-play" game for Shin Megami Tensei fans. NLab recommended it for its branching story with different endings, and Dengeki...

"DOLCESTAR". twitter.com. Retrieved 2018-04-09. "仮面ライダー俳優の青木玄徳が逮捕、強制わいせつ致傷容疑で". nlab.itmedia.co.jp. Retrieved 2018-04-06. "仮面ライダー俳優・青木玄徳　不起訴　強制わいせつ致傷、未遂の疑いで逮捕、送検"...

Foundations of Mathematics. Cambridge University Press. ISBN 978-0-521-63107-5., nlab entry at [1] Rosiak, Daniel (2022). "There's a Yoneda Lemma for That". Sheaf...

poll for characters of Kamen Rider Revice, conducted by Japanese website NLab Media, Hiromi Kadota emerges as the first place victor with a total of 1845...

EGA FGA SGA Abstract Stone Duality nLab, just as a higher-dimensional Wikipedia, started in late 2008; see nLab Zhaohua Luo; Categorical geometry homepage...

Asymptotic representation theory, Lecture notes 2009–2010 https://ncatlab.org/nlab/show/asymptotic+representation+theory Galois representation Glossary of representation...

Giandomenico (2006), What is category theory?, Advanced studies in mathematics and logic, vol. 3, Polimetrica, ISBN 978-88-7699-031-1. category at the nLab...

Transformations". Category Theory. SSPM (Sigma Series in Pure Mathematics) 01. Heldermann. ISBN 978-3-88538-001-6. Hom functor at the nLab Internal Hom at the nLab...

org/nlab/show/locally+presentable+(infinity%2C1)-category quasi-category at the nLab infinity-category at the nLab fundamental+category at the nLab Joyal's...

Princeton University Press. Richeson (2008), p. 261 Euler characteristic at the nLab Leinster, Tom (2008). "The Euler characteristic of a category" (PDF). Documenta...

Science & Business Media. p. xiv–xv. ISBN 978-3-7643-7214-9. "Tohoku in nLab". Retrieved 2 December 2014. I.M. James (24 August 1999). History of Topology...

Deligne's Theorem". arXiv:1309.0389 [math.LO]. "Deligne completeness theorem". nLab. Grothendieck, A. (1972). "Site et Topos etales d'un schema, 9. Appendice...

intersect. quaternionic Hopf Fibration, ncatlab.org. https://ncatlab.org/nlab/show/quaternionic+Hopf+fibration Smith, Benjamin. "Benjamin H. Smith's Hopf...

Surjective". American Mathematical Monthly. 77 (2): 176–177. doi:10.1080/00029890.1970.11992448. epimorphism at the nLab Strong epimorphism at the nLab...

Business Media. p. 21. ISBN 978-3-662-08998-9. "axiom of full comprehension in nLab". ncatlab.org. Retrieved 2024-11-07. "Axiom:Axiom of Abstraction - ProofWiki"...

theory" (PDF). Mathematical Communications. 2: 1–12. shape theory at the nLab Jean-Marc Cordier and Tim Porter, (1989), Shape Theory: Categorical Methods...

Chern. World Scientific. ISBN 978-981-02-2385-4. "Chern-Simons form in nLab". ncatlab.org. Retrieved May 1, 2020. Moore, Greg (June 7, 2019). "Introduction...

Retrieved November 15, 2023. ""体験"だけじゃ物足りない!? 「パタポン2」体験版は、製品版にデータ引き継ぎ可能". Nlab.ITmedia.co.jp (in Japanese). November 13, 2008. Archived from the original...

superspace for a general definition. (cf. Larus Thorlacius, Thordur Jonsson (eds.), M-Theory and Quantum Geometry, Springer, 2012, p. 263). supergroup in nLab...

algebra of homotopy algebras". arXiv:q-alg/9702015. https://ncatlab.org/nlab/show/differential+forms+on+simplices https://mathoverflow...

Riehl, Emily (2016). Category Theory in Context (PDF). Dover Publications. ISBN 978-0486809038. monomorphism at the nLab Strong monomorphism at the nLab...

December 12, 2024., p.9 "A construction due to Klop 2007" https://ncatlab.org/nlab/show/fixed-point+combinator Bene, Adam (17 August 2017). "Fixed-Point Combinators...

Galois: Révolutionnaire et Géomètre. Paris: Fasquelle. "Galois' last letter in nLab". ncatlab.org. Retrieved 15 May 2025. Coutinho, S.C. (1999). The Mathematics...

"Theories of anything". arXiv:1202.0684 [math.CT]. stack at the nLab descent at the nLab de Jong, Aise Johan, Stacks Project Fulton, William, What is a...

Popescu 1979, Exercise 7.2.) (Diagonal in nlab) (Laurent 2013) (Masakatsu 1972, Definition 4.) (codiagonal in nlab) Awodey, s. (1996). "Structure in Mathematics...

68 Munkres 2000, p. 213 Willard 1970, pp. 100–101. "separation axioms in nLab". ncatlab.org. Retrieved 2021-10-12. Willard 1970, Section 17. Engelking...

2024. Retrieved May 13, 2024. アニメ「バジリスク ～桜花忍法帖～」2018年1月放送決定！　OP曲は陰陽座再び. nlab.itmedia.co.jp (in Japanese). October 13, 2017. Archived from the original...

in mathematics. Cham: Birkhäuser Springer international publishing. ISBN 978-3-319-49833-1. "Turaev-Viro model". nLab. Retrieved 7 August 2017. v t e...

at the nLab equivariant noncommutative algebraic geometry at the nLab noncommutative scheme at the nLab Kapranov's noncommutative geometry at the nLab...

(mathematics) – Number property of being positive or negative "positive number in nLab". ncatlab.org. Retrieved 2020-08-11. E. J. Dijksterhuis (1961) Mechanization...

Encyclopaedia of Mathematical Sciences 122, Springer (2005) A. Connes, Noncommutative Geometry, Academic Press (1994) KK-theory at the nLab E-theory at the nLab...

Gundam anime, The 08th MS Team ranked sixth overall, while a 2022 ITmedia/Nlab poll of series characters named Norris Packard the most popular in the cast...

じたゲームキャラクター人気ランキングTOP29！ 第1位は「ジャンヌ・ダルク（Fate/Grand Order）」【2024年最新投票結果】". nlab.itmedia.co.jp (in Japanese). May 25, 2024. Retrieved June 16, 2024. "『ペルソナ３...

related to Axions. Wikiquote has quotations related to Axion. "Axion in nLab". "Plots of current experimental constraints on axion couplings". "CAST Experiment"...

CS1 maint: work parameter with ISBN (link) "singleton representation in nLab". ncatlab.org. Retrieved 2023-11-01. Mezincescu, Luca; Townsend, Paul K....

ISBN 978-0-691-14048-3. Joyal, André (2008). "THE THEORY OF QUASI-CATEGORIES (Vol I) Draft version" (PDF). extension at the nLab lift at the nLab filler at the nLab...

Archived (PDF) from the original on 2025-04-26. "SBG:セガがソフトウェア研究開発部門を分社化". nlab.itmedia.co.jp. Archived from the original on 2025-03-26. Retrieved 2025-01-06...

Cambridge University Press. ISBN 978-0-521-63107-5., nlab entry at [1] https://ncatlab.org/nlab/show/Zorn's+lemma "Zorn lemma", Encyclopedia of Mathematics...

Arithmetic Geometry" (PDF). Retrieved March 22, 2019. Arithmetic geometry at the nLab Lang, Serge (1997). Survey of Diophantine Geometry. Springer-Verlag. pp. 43–67...

ISBN 9780444817792, MR 1361886. See in particular p. 8. Segal space at the nLab Complete Segal space at the nLab Segal category at the nLab v t e...

algebras over a field of characteristic zero. "Lie algebra, semi-simple", Encyclopedia of Mathematics, EMS Press, 2001 [1994] Simple Lie algebra at the nLab...

"Quantum Picturalism". Contemporary Physics. 51: 59–83. arXiv:0908.1787. doi:10.1080/00107510903257624. S2CID 752173. Dagger-compact category at the nLab...

scientist Philip Wadler: http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt Notes on the nLab: https://ncatlab.org/nlab/show/ETCS...

University of Ljubljana. pp. 26–27, 64. Retrieved 2026-02-14. "Čech nerve in nLab". ncatlab.org. Retrieved 2020-08-07. Artin, Michael; Mazur, Barry (1969)...

Applications. KIT Scientific Publishing. p. 31. ISBN 978-3-7315-0260-9. "Bishop's constructive mathematics in nLab". ncatlab.org. Retrieved 2019-11-29....

Mathématique de France. 90: 323–448. doi:10.24033/bsmf.1583. https://ncatlab.org/nlab/show/Gabriel-Rosenberg+theorem How to unify various reconstruction theorems...

ISBN 978-3-319-09289-8. ISSN 2197-1757. https://ncatlab.org/nlab/show/deformation+quantization https://ncatlab.org/nlab/show/formal+deformation+quantization...

exact is an adjective of "exact sequence". Citations "exact sequence in nLab, Remark 2.3". ncatlab.org. Retrieved 2021-09-05. Rotman 2002, pp. 435–436...

Scott 2021, p. 184. Coecke & Kissinger 2017, p. 82. "Computational trilogy". nLab. Retrieved October 29, 2023. Curry 1934. Curry & Feys 1958. Howard 1980....

Toshihiko Seki, Genjo Sanzo character was ranked second. In September 2022, "nlab.itmedia" ranking top 30 popular TV anime characters played by voice actor...

of Pyknotic Presheaves". arXiv:2012.10502 [math.AG]. https://ncatlab.org/nlab/show/pyknotic+set https://mathoverflow.net/questions/441610/properties-of-pyknotic-sets...

2010-02-16. "ディズニー／ピクサー映画「インサイド・ヘッド」 本編上映前のドリカムMvに感情を殺される事案が多発しているもよう". Nlab.itmedia.co.jp. 19 July 2015. "Dreams Come True The ウラBest! 私だけのドリカム". Oricon...

(PDF). https://ncatlab.org/nlab/show/Cartesian+fibration https://ncatlab.org/nlab/show/Cartesian+morphism https://ncatlab.org/nlab/show/Grothendieck+fibration...

bundles in algebraic geometry, notes of the talk at the `Unity of Mathematics' conference. Expanded version http://ncatlab.org/nlab/show/ind-scheme v t e...

2007. Jean Giraud at the Mathematics Genealogy Project "Giraud's theorem". nlab. 13 November 2021. Jean Giraud, 1936– at Library of Congress Authorities...

"Initial algebra of an endofunctor in nLab". "Natural number in nLab". "Initial algebra of an endofunctor in nLab". Ki Yung Ahn; Sheard, Tim (2011). "A...

common, as in Weibel 1994, Chap. 2 projective resolution at the nLab, resolution at the nLab Jacobson 2009, §6.5 Iain T. Adamson (1972), Elementary rings...

and Boolean algebras. Category of preordered sets Thin category at the nLab Roman, Steven (2017). An Introduction to the Language of Category Theory...

it for its comedic and "mind-boggling set-up" and quirky scenarios, and NLab finding it cute. Koneko appreciated the comedy of the hidden boys' love scenario;...

from the original (PDF) on 2018-05-21. Retrieved 2018-06-29. Kernel at the nLab Awodey, Steve (2010) [2006]. "3.3 Equalizers". Category Theory (PDF). Oxford...

original on 26 March 2015. Retrieved 27 January 2015. star-algebra at the nLab Winker, S. K.; Wos, L.; Lusk, E. L. (1981). "Semigroups, Antiautomorphisms...

into-infty-categories?rq=1 infinity-groupoid at the nLab fundamental infinity-groupoid at the nLab Maltsiniotis, Georges (2010), "Grothendieck ∞-groupoids...

by Max Karoubi". Bull. Amer. Math. Soc. (N.S.). 1 (4): 658–661. doi:10.1090/s0273-0979-1979-14652-4. Home page of Max Karoubi Max Karoubi at the nLab...

Academic Press. Interactive web page which generates examples of pullbacks in the category of finite sets. Written by Jocelyn Paine. pullback at the nLab...

discussed at the corresponding nLab page. The ith face of the simplex is then the one missing the ith vertex. "Segal condition in nLab". Lurie, https://kerodon...

Pontryagin duality Base (topology) § Weight and character "character in nLab". ncatlab.org. Retrieved 2017-10-31. Artin, Emil (1966), Galois Theory, Notre...

quasicategories" (PDF) – via ncatlab.org. equivalence of (infinity,1)-categories at the nLab Kelly, Shane. "Derived Algebraic Geometry (Lecture 3: Categories), UTokyo...

Geometry= Geometric Logic". Proc. Logic Colloquium Bristol 1973. Amsterdam: North-Holland. pp. 135–156. "Deligne completeness theorem in nLab". v t e...

the original on 2024-05-26. Retrieved 2024-06-13. "functional relation in nLab". ncatlab.org. Retrieved 2024-06-13. Schmidt 2010, p. 49. Kilp, Knauer, Mikhalev...

Elementary Theory of the Category of Sets at the n-Category Café ETCS in nLab ZFC and ETCS: Elementary Theory of the Category of Sets Tom Leinster, Axiomatic...

his book Non-commutative geometry, ISBN 0-12-185860-X. Alain Connes at the nLab Alain Connes's Standard Model An interview with Alain Connes and a discussion...

lms.ac.uk. Retrieved 12 July 2025. "Loop Groups and Twisted K-Theory in nLab". ncatlab.org. "ICM Plenary and Invited Speakers | International Mathematical...

theory". arXiv:1304.5227v2 [math.CT]. "Universe in Homotopy Type Theory" in nLab Zhaohui Luo, "Notes on Universes in Type Theory", 2012. Per Martin-Löf, Intuitionistic...

structure. coherent 1.  A coherent category (for now, see https://ncatlab.org/nlab/show/coherent+category). 2.  A coherent topos. cohesive cohesive category...

r)-category". nLab. "(n,1)-category". nLab. "(0,1)-category". nLab. "(2,1)-category". nLab. "poset – As a category with extra properties". nLab. "relation...

to Homotopy type theory. Homotopy Type Theory Homotopy type theory at the nLab Homotopy type theory wiki Vladimir Voevodsky's webpage on the Univalent Foundations...

introduction to simplicial sets" (PDF). May, J. Peter. Simplicial Objects in Algebraic Topology, University of Chicago Press 1967 simplicial set at the nLab...

de l'IHÉS (78): 5–161, ISSN 1618-1913, MR 1259429 Berkovich space at the nLab Institut de Mathématiques de Jussieu Summer School «Berkovich spaces» 2010...

Mathematics". encyclopediaofmath.org. Retrieved 2024-06-13. "functional relation in nLab". ncatlab.org. Retrieved 2024-06-13. Mäs 2007 Yao & Wong 1995 Rosenstein...

yne-in-homotopy-theory https://mathoverflow.net/questions/313635/cellularity-of-anodyne-extensions nlab, https://ncatlab.org/nlab/show/inner+fibration...

Adeel A. (2023), Lectures on Algebraic Stacks (PDF) https://ncatlab.org/nlab/show/action+groupoid https://mathoverflow.net/questions/130950/groupoids...

Compactly generated topological space at the nLab Convenient category of topological spaces at the nLab https://math.stackexchange...

Cours. Vol. 35. Paris: Hermann. ISBN 2-7056-6049-6. six operations at the nLab What (if anything) unifies stable homotopy theory and Grothendieck's six...

provides a category-theoretic presentation of the theorem as a colimit in the category of groupoids. slant product at the nLab Poincaré duality at the nLab...

Hungerford, Algebra, p.60, Springer, 1974, ISBN 0387905189 Direct Sum at the nLab Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and...

columbia.edu. Retrieved 1 April 2020. Project website The Stacks Project at the nLab Latest from the Stacks Project (as of 2013) (Accessed 1 April 2020) Kerodon...

study of stratified spaces. Lecture Notes in Mathematics. Vol. 1768. Berlin: Springer. ISBN 3-540-42626-4. OCLC 47892611. locally closed set at the nLab...

Mathematical Society. p. ix. ISBN 978-0-8218-1283-9. MR 0247487. nlab, Image, https://ncatlab.org/nlab/show/image (Definition 3.1 and Remarks 3.2) in Gabriella...

Impressions". IGN. Retrieved 8 May 2023. "SBG: NEWS - リッジV ＆ 鉄拳TT, PS2本体と同時発売". nlab.itmedia.co.jp. Retrieved 8 May 2023. "RIDGE RACER V 開発者リレーエッセイ/第１回：企画チーム...

indexed by category-valued 2-functors. Journal of Pure and Applied Algebra, 8(2):149--181, 1976. computad at the nLab globular+set at the nLab v t e...

p. 169) (Space and quantity in nlab) (Yoneda embedding in nlab) (Awodey 2006, Definition 8.1.) (Isbell duality in nlab) (Day & Lack 2007, §9. Isbell conjugacy)...

1007/978-3-642-31031-7_18. ISBN 978-3-642-31030-0. "classifying space in nLab". ncatlab.org. Retrieved 2017-08-22. May, J.P. (1999). A Concise Course in...

2008, p. 301, Corollary 6.16. Cisinski 2019, Lemma 5.3.9. model structure on simplicial sets at the nLab The Homotopy Theory of ∞-Categories at Kerodon...

Birkhäuser. doi:10.1007/978-3-0348-8707-6. ISBN 978-3-7643-6064-1. MR 1711612. Simplex category at the nLab What's special about the Simplex category?...

arXiv:0908.3347. doi:10.1007/978-3-642-12821-9_4. ISBN 978-3-642-12820-2. Monoidal category at the nLab Media related to Monoidal category at Wikimedia Commons...

'The Tate Twist', in Lecture Notes in Mathematics, Vol 1604, 1995, Springer, Berlin p.98–102 'The Tate Twist', https://ncatlab.org/nlab/show/Tate+twist...

Mathematics. 444. arXiv:2310.05384. doi:10.1016/j.aim.2024.109630. "doctrine in nLab". ncatlab.org. Retrieved 2025-04-09. Generalised algebraic models, by Claudia...

Soc., Providence, Rhode Island, arXiv:1202.4078, doi:10.1090/cbms/113, ISBN 978-0-8218-4986-6, MR 2641916, S2CID 7880175 Weil-Petersson metric on nLab...

Étale Cohomology Riemann's existence theorem (Mathoverflow) Finite Covers of Complex Varieties (Mathoverflow) Riemann's existence theorem (nLab) v t e...

Cambridge University Press. ISBN 978-0-521-36062-3. Scott topology at the nLab Scott, Dana (1972). "Continuous lattices". In Lawvere, Bill (ed.). Toposes...

2007, §7.4. Anafunctors) (anafunctor in nlab, §2. Definitions) (Makkai 1996, §1.1. Anafunctor) (anafunctor in nlab, §2. Anafunctors (Explicit set-theoretic...

Retrieved June 17, 2016. "「ブラタモリ」ついに書籍化! 番組制作班が監修、マニアックな視点で見た街の様子を紹介". Nlab. ITmedia, Inc. June 17, 2016. Retrieved June 17, 2016....

ISBN 0-521-44178-1. Interactive Web page which generates examples of products in the category of finite sets. Written by Jocelyn Paine. Product at the nLab...

MR 1301191 Ginzburg & Kapranov 1994, § 1.3.9. Todd Trimble, Notes on operads and the Lie operad https://ncatlab.org/nlab/show/Lie+operad v t e...

Johnstone in his Sketches of an elephant, p. ix. Johnstone's web page Peter Johnstone at the nLab Peter Johnstone at the Mathematics Genealogy Project...

"Algebraic Geometry for Category Theorists". The n-Category Café. "modification". nLab. "pseudonatural transformation". nLab. "2Cat". nLab. "2-functor". nLab....

Formalization of Logic. Studies in Semantics. Vol. II. Harvard University Press. Intensional Logic (Stanford Encyclopedia of Philosophy) equality in nLab...

Foundations for Programming Languages. The MIT Press. function type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent...

Samuel Eilenberg, Abstract description of some basic functors, J. Indian Math. Soc. (N.S.) 24, 1960, 231–234 (1961). Eilenberg-Watts theorem in nLab v t e...

Homotopy Theory, Progress in Math., Vol. 174, Birkhauser, Boston-Basel-Berlin, 1999. ISBN 3-7643-6064-X. https://ncatlab.org/nlab/show/fibrant+object v t e...

ISBN 978-3-03719-161-3. S2CID 119693048. Appendix B in https://ncatlab.org/toddtrimble/published/Surface+diagrams https://ncatlab.org/nlab/show/tame+topology v t e...

"Schröder-Bernstein Theorem". MathWorld. Cantor-Schroeder-Bernstein theorem at the nLab Cantor-Bernstein’s Theorem in a Semiring by Marcel Crabbé. This article incorporates...

topological union, a generalization to the case where the pieces are not disjoint "disjoint union topological space in nLab". ncatlab.org. Retrieved 5 May 2025....

comes from the structuralism in the philosophy of mathematics. "SEAR in nLab". ncatlab.org. Shulman, Michael (1 April 2019). "Comparing material and structural...

"Dagger category in nLab". Tsalenko, M.Sh. (2001) [1994], "Category with involution", Encyclopedia of Mathematics, EMS Press Dagger category at the nLab...

1007/978-1-4757-0163-0_1. ISBN 978-1-4757-0163-0. Essentially algebraic theory at the nLab C.C. Chang and H. Jerome Keisler (1990). Model Theory. Studies in Logic and...

Gelfand—Tsetlin polytopes". Advances in Mathematics. 193 (1): 1–17. doi:10.1016/j.aim.2004.03.017. http://ncatlab.org/nlab/show/Gelfand-Tsetlin+basis...

Philosophy until 2024. He is a member of the informal steering committee of nLab, a wiki-lab for collaborative work on mathematics, physics, and philosophy...

Categories for the Working Mathematician (Second ed.). New York, NY: Springer New York. pp. 49–51. ISBN 1441931236. OCLC 851741862. free category at the nLab...

Springer. p. 99. ISBN 0-387-94823-6. Weisstein, Eric W. "Snake Lemma". MathWorld. Snake Lemma at the nLab Proof of the Snake Lemma in the film It's My Turn...

Chern-Simons/Wess-Zumino term". arXiv:1606.08529 [hep-th]. "Dirac-Born-Infeld action in nLab". ncatlab.org. Retrieved 2023-11-01. Dymnikova, Irina (2021). "Image of the...

Wood, Charlie (2021-05-04). "How Gravity Is a Double Copy of Other Forces". Quanta Magazine. Retrieved 2021-05-09. "KLT relations". nLab. v t e v t e...

results Type (model theory) – Concept in model theory Stone space at the nLab Dickmann, Max; Schwartz, Niels; Tressl, Marcus (8 March 2019). Spectral Spaces...

Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174. BHK interpretation at the nLab...

descent are equivalent to A-modules. monadicity theorem at the nLab monadic descent at the nLab Pedicchio & Tholen 2004, p. 228 Deligne 1990, §4.2 Balmer,...

(CT 1990). Lecture Notes in Mathematics. Vol. 1488. Springer. pp. 95–104. doi:10.1007/BFb0084215. ISBN 978-3-540-54706-8. Wide subcategory at the nLab...

at the Mathematics Genealogy Project "Mathnet.ru:Розенберг Александр Львович". "nLab:Alexander L. Rosenberg". "nLab:spectrum of an abelian category"....

Bourbaki". www.bourbaki.fr. Retrieved 2024-10-13. Homepage Denis-Charles Cisinski on nLab Catégories supérieures et théorie des topos on YouTube (French)...

(September 2, 2008). "Notes on Grothendieck topologies, fibered categories and descent theory" (PDF). http://ncatlab.org/nlab/show/pseudofunctor v t e...

Algebraic theory Clone (algebra) Monad (category theory) Lawvere theory at the nLab Hyland, Martin; Power, John (2007), "The Category Theoretic Understanding...

in categories. Lecture Notes in Mathematics. Vol. 281. Springer-Verlag. pp. 29–65. ISBN 9783540379584. http://ncatlab.org/nlab/show/2-rig v t e v t e...

also attribute the concept to the article cited. "Indiscrete category". nLab. Mac Lane, Saunders; Moerdijk, Ieke (1992) Sheaves in Geometry and Logic...

Appl. 29: 1–5. doi:10.1007/BF01077036. S2CID 121740728. https://ncatlab.org/nlab/show/Deligne+conjecture https://mathoverflow.net/questions/374/delignes-...

theta category Interview with André Joyal (in French) André Joyal at the nLab Official Web page at UQAM André Joyal at the Mathematics Genealogy Project...

Tetracategories, October 2006, [1] "Gray-category in nLab". ncatlab.org. "Strict 3-category in nLab". ncatlab.org. Buhné, Lukas (2015). Topics in three-dimensional...

encyclopediaofmath.org. Retrieved 2019-12-15. "vanishing at infinity in nLab". ncatlab.org. Retrieved 2019-12-15. Hewitt, E and Stromberg, K (1963). Real...

On motivic spherical bundles Is it true that all sphere bundles are boundaries of disk bundles? https://ncatlab.org/nlab/show/spherical+fibration v t e...

91–98. doi:10.1016/j.tcs.2019.02.022. ISSN 0304-3975. Linear logic at the nLab Braüner, Torben (December 1996). "Introduction to Linear Logic" (PDF). BRICS...

Burroni (1993). Higher dimensional word problems with applications to equational logic (PDF). Theoretical Computer Science. n-monoid at the nLab v t e...

edu/category/2022/01/optimal_transport_and_enriched_2.html#more https://ncatlab.org/nlab/show/metric+space#LawvereMetricSpace https://golem.ph.utexas...

Cross-Dressed for the IRL Meetup has been well received by critics, with NLab calling it an interesting and exciting manga with unexpected plot twists...

Scholze, pro-etale site. https://www.youtube.com/watch?v=qL5uxXAeU00&ab_channel=HausdorffCenterforMathematics http://ncatlab.org/nlab/show/étale+homotopy...

GameCola Videogame Awards (Part 2)". GameCola. Retrieved 20 August 2014. Nlab (12 August 2011). 鳥と恋する乙女ゲーム「はーとふる彼氏」が新感覚すぎて面白い. ITmedia (in Japanese). Retrieved...

Business Media. pp. 222–226. Loregian, Fosco (2015). (Co)end Calculus. arXiv:1501.02503. doi:10.1017/9781108778657. ISBN 978-1-108-77865-7. end at the nLab...

318F. doi:10.1016/0003-4916(85)90384-7. "Generalized complex geometry in nLab". James Gates, S. (June 1984). "Superspace formulation of new non-linear...

doi:10.1112/jtopol/jtu009. MR 0286898. S2CID 119613530. http://ncatlab.org/nlab/show/Thom+spectrum "Thom space", Encyclopedia of Mathematics, EMS Press,...

algebra. Encyclopedia of mathematics and its applications 50-51, 53 [i.e. 52]. Vol. 1. Cambridge University Press. ISBN 0-521-44178-1. Cone at the nLab...

2021-05-15 at the Wayback Machine at the Manifold Atlas Fake lens spaces Archived 2021-05-15 at the Wayback Machine at the Manifold Atlas lens space on nLab...

arXiv:q-alg/9702015. Vallette, Bruno Algebra + homotopy = operad, (2014). "operad", ncatlab.org http://ncatlab.org/nlab/show/algebra+over+an+operad v t e...

monoidal category Exponential law for spaces at the nLab Convenient category of topological spaces at the nLab Goldblatt, Robert (1984). "Chapter 3: Arrows instead...

arXiv:1612.09375. doi:10.1017/CBO9781107360068. ISBN 978-1-107-04424-1. nLab, a wiki project on mathematics, physics and philosophy with emphasis on the...

later the development of category theory which made the notion explicit" (nLab). According to Bourbaki, the scale of sets on a given set X consists of all...

{\displaystyle F[A],F[B]} have the same cardinality. Symmetric sequence at the nLab Joyal 1981, § 1.1. Definition 1. Federico G. Lastaria, An invitation to Combinatorial...

Kaplansky 1972, p. 110 Kaplansky 1972, p. 112 "von Neumann regular ring in nLab", ncatlab.org, retrieved 2026-05-09 Skornyakov 2001 Lee, Gangyong; Rizvi...

distributive categories". Journal of Pure and Applied Algebra. 84 (2): 145–158. doi:10.1016/0022-4049(93)90035-R. Strict initial object at the nLab v t e...

"SOFTBANK GAMES PlayStation2 特集「ACECOMBAT5 THE UNSUNG WAR」開発者インタビュー P.1". nlab.itmedia.co.jp (in Japanese). Archived from the original on December 9, 2021...

Topology and Mathematical Logic", August 8, 2008, p. 13. free functor in nLab Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples...

24033/asens.1260. Pursuing stacks, A Grothendieck 1983 Pursuing Stacks at the nLab Conjectures in Grothendieck's “Pursuing stacks”, Mathoverflow.net Cat as...

cogenerator in the category of compact hausdorff spaces separator at the nLab Schubert, Horst (1972). Categories. Berlin, Heidelberg: Springer Berlin Heidelberg...

incompatibility (help) Sengupta 2012, p. 245. "Frobenius reciprocity in nLab". ncatlab.org. Retrieved 2017-11-02. Serre, Jean-Pierre (1977). Linear representations...

Homotopy Theory, New Mathematical Monographs, vol. 24, Cambridge University Press, Definition 8.3.2, p. 127. http://ncatlab.org/nlab/show/final+functor v t e...

Struct (C programming language) Sum type Quotient type product type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent...

Over E n {\displaystyle {\mathcal {E}}_{n}} -Rings Grothendieck Duality for Derived Stacks Ringed topos at the nLab Locally ringed topos at the nLab...

≤ x. FinOrd Simplex category Eklund et al. 2018, Section 1.3. "PreOrd in nLab". ncatlab.org. Clementino, Maria Manuel; Martins-Ferreira, Nelson; Montoli...

etc. are viewed as enormous wastes of time." List of mathematical software nLab PhysicsOverflow Project Euler — computational mathematics and computer programming...

(2009). "Categorical Semantics of Linear Logic" (PDF). Panoramas et Synthèses. 27: 1–197. CiteSeerX 10.1.1.62.5117. Closed monoidal category at the nLab...

Zariski toposes. Synthetic differential geometry Synthetic mathematics at the nLab Shulman, Mike (2019). "All (∞, 1)-toposes have strict univalent universes"...

ISBN 0-521-23893-5. (A treatment of the one-generator free Heyting algebra is given in chapter 1, section 4.11) In nLab: free functor, free object, vector space...

(1973), no. 2(170), 19–33. Translation on Bernstein's website. Quiver at the nLab Gherardelli, Francesco; Centro Internazionale Matematico Estivo, eds. (1983)...

2016. Retrieved October 11, 2020. "Bousfield-Friedlander model structure". nLab. September 8, 2020. Retrieved October 11, 2020. 2018 Class of Fellows of...

categorie de Kleisli". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 33 (3): 261–6. MR 1186950. Zbl 0767.18008. Kleisli category at the nLab...

"De Finetti theorem", Encyclopedia of Mathematics, EMS Press What is so cool about De Finetti's representation theorem? De Finetti's theorem at the nLab...

They may also be called KK black holes. AdS black hole "black brane in nLab". ncatlab.org. Retrieved 2017-07-18. Gubser, Steven Scott (2010). The Little...

2349–2365. arXiv:hep-th/0404160. Bibcode:1995IJMPA..10.2349D. doi:10.1142/s0217751x95001145. ISSN 0217-751X. S2CID 18786418. p-adic physics at the nLab...

Society". euro-math-soc.eu. Retrieved 28 March 2021. "algebraic set theory in nLab". ncatlab.org. Retrieved 28 March 2021. Joyal, Andri; Moerdijk, Ieke (1995)...

Encyclopedia of Integer Sequences. OEIS Foundation. "hereditarily finite set". nLab. January 2023. Retrieved January 28, 2023. The set of all (well-founded)...

the time saving effect after opening? Maybe the price will be higher?]. nlab.itmedia.co.jp (in Japanese). 25 August 2021. Retrieved 11 June 2022. "Relay...

1007/bf01208717, ISSN 0010-3616, MR 0649818, S2CID 121082095 Bogomolny equation on nLab "Magnetic_monopole", Encyclopedia of Mathematics, EMS Press, 2001 [1994]...

Étale homotopy of simplicial schemes. Annals of Mathematics Studies, PUP. Lecture notes by G. Quick "Étale homotopy lecture 2." Hypercover at the nLab...

1098/rspa.1938.0124. ISSN 0080-4630. S2CID 122020006. "Dirac propagator in nLab". ncatlab.org. Retrieved 2023-11-08. Greiner & Reinhardt 2008, Ch.2 Quantum...

Topoi and Quasitopoi, World Scientific, 1991, p. 8. Opposite category at the nLab Danilov, V.I. (2001) [1994], "Dual Category", Encyclopedia of Mathematics...

Grothendieck and Verdier". Quantum Topology. 4 (4): 447–489. arXiv:1108.6020. doi:10.4171/QT/45. MR 3134025. S2CID 55605535. star-autonomous category at the nLab...

Translations of Mathematical Monographs. Vol. 199. American Mathematical Society. pp. 75ff. ISBN 978-0-8218-2139-8. Gelfand–Fuks cohomology at the nLab...

AMS 2002 Absence of Maps Between p-local and q-local spectra Bousfield localization in nlab. J. Lurie, Lecture 20 in Chromatic Homotopy Theory (252x)....

Providence, R.I.: American Mathematical Society, pp. 179–207, MR 0902593 Explanation of the word "syntomic" by Barry Mazur. Syntomic cohomology at the nLab...

ISBN 978-0-19-856793-6 A.V. Chernavskii (2001) [1994], "Covering homotopy", Encyclopedia of Mathematics, EMS Press homotopy lifting property at the nLab...

complete and cocomplete. Enriched category theory is often considered over a cosmos. cosmos at the nLab Basic Concepts of Enriched Category Theory v t e...

01..010A. doi:10.1088/1126-6708/2002/01/010. S2CID 15280422. "dilatino in nLab". ncatlab.org. Retrieved 2026-03-04. Moroi, T.; Murayama, H.; Yamaguchi,...

November 2015. アドビ、イケメン過ぎるゴリラ「シャバーニ」とタレント契約 「イケメンゴリラ年賀状」チュートリアル＆写真素材を公開. nlab.itmedia.co.jp. 3 November 2015. McGee, Oona (January 19, 2016). "Shabani...

for Hardware Compilation. [1] GoI tutorial given at Siena 07 by Laurent Regnier, in the Linear Logic workshop, [2] Geometry of Interaction at the nLab...

Stanford University. P. Deligne, Théorie des Hodge III, Publ. Math. IHÉS 44 (1975), pp. 6–77. http://ncatlab.org/nlab/show/cohomological+descent v t e...

Britannica". www.britannica.com. Retrieved 2025-01-03. "Yang-Mills theory in nLab". ncatlab.org. Retrieved 2025-01-03. "Dr Robert Laurence MILLS". ackleygenealogy...

Gopakumar & Vafa 1998-11, p. 17 Auckly & Koshkin 2007, Def. 2.2 on p. 210 Brini, Griguolo, Seminara & Tanzini 2008, Claim 1 Gopakumar–Vafa duality on nLab...

Lectures on Algebraic Stacks (PDF) https://ncatlab.org/nlab/show/simplicial+diagram https://ncatlab.org/nlab/show/totalization Rosona Eldred, Tot primer (2008)...

homotopy theory". Annals of Mathematics. 2. 90 (2): 205–295. doi:10.2307/1970725. JSTOR 1970725. https://ncatlab.org/nlab/show/simplicial+Lie+algebra v t e...

Business Media. ISBN 978-3-540-30615-3. algebra extension at nLab infinitesimal extension at nLab Extension of an associative algebra at Encyclopedia of Mathematics...

Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge: Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001. Locale at the nLab...

Retrieved 2021-04-01. "ツイキャス、リスナーが配信者の企画を支援できる新機能「キートス」を開始 奨励金を支給するキャンペーンも". NLab IT Media (in Japanese). Retrieved 2021-04-01. "第31回インターネット消費者取引連絡会：TwitCasting"...

Associativity isomorphism Leinster 2004, Definition 1.5.1 associator in nLab (Kelly 1964, Introduction) Mac Lane 1978, Chapter VII, Section 2 See Kapranov...

Foundations of Mathematics. Vol. 2. Clarendon Press. pp. 1219–1233. Axiom of foundation at PlanetMath. Inhabited set and the axiom of foundation on nLab...

Bibcode:1926RSPSA.112..661D. doi:10.1098/rspa.1926.0133. "Slater determinant in nLab". ncatlab.org. Retrieved 2023-11-08. Szabo, A.; Ostlund, N. S. (1996). Modern...

McDuff, Dusa; Salamon, D. (1998). Introduction to Symplectic Topology. Oxford Mathematical Monographs. ISBN 0-19-850451-9. Hamiltonian vector field on nLab...

Brougham Bridge. List of mathematical jargon Mathematics portal "folklore in nLab". ncatlab.org. Retrieved 2019-11-30. Grigore Calugareau & Peter Hamburg (1998)...

Seminar IV. Lecture Notes in Mathematics. Vol. 137. pp. 126–137. doi:10.1007/BFb0060443. ISBN 978-3-540-04926-5. dinatural transformation at the nLab v t e...

Providence, RI, 2009. Available on the arXiv Braided monoidal category at the nLab John Baez (1999), An introduction to braided monoidal categories, This week's...

Quartermaster Research and Engineering Center (1962) US Army Hall of Fame (1998) Scientific career Institutions US Army Natick Research Laboratory (NLABS)...

Reshape Mathematics". Carnegie Mellon University. 28 April 2014. "nLab Authors". nLab: steering committee Homotopy type theory blog Shulman postings to...

2021-02-16. "Stefan Banach Medal". Polish Academy of Sciences. Archived from the original on 2020-11-05. Retrieved 2021-02-16. Homepage Profile on nLab v t e...

extension at the nLab Saunders MacLane, Homology, p. 103, at Google Books group cohomology at the nLab nonabelian group cohomology at the nLab Bokhut, L. A...

"Differential inequality", Encyclopedia of Mathematics, EMS Press, 2001 [1994] nLab - Artin Comparison This set index article includes a list of related items...

doi:10.1307/mmj/1029000631. ISSN 0026-2285. "abstract Stone duality in nLab". ncatlab.org. Retrieved 2023-07-29. Oliver Aberth (1980), Computable analysis...

arXiv:2106.03061. doi:10.1090/btran/134. Lawvere-Tierney topology at the nLab Lawvere, F. W. (1971), "Quantifiers and sheaves" (PDF), Actes du Congrès...

[math.DG]. Yang–Mills flow Yang–Mills–Higgs flow Seiberg-Witten flow at the nLab Nicolaescu, Example 1.3.16 Hong & Schabrun 2009, Eq. (4) Schabrun 2010, Eq...

Exercise 1.1.4. Hatcher 2017, Proposition 3.10. Hatcher 2017, Proposition 3.11. Bott & Tu 1982, Proposition 11.4. determinant line bundle at the nLab...

Mathematics Studies, vol. 170, Princeton University Press, arXiv:math.CT/0608040, ISBN 978-0-691-14049-0, MR 2522659 topologically enriched category at the nLab...

Publications. ISBN 978-0-486-48841-7. Remark 3.2. in https://ncatlab.org/nlab/show/Zorn's+lemma#bourbakiwitt_theorem Zorn’s lemma, Proposition 2. in https://terrytao...

includes an implementation of cubical type theory. Cubical type theory at the nLab Huber, Simon (2019). "Canonicity for cubical type theory". Journal of Automated...

ISBN 0-521-28702-2, MR 0651714 Model independent proof of colimit formula for left Kan extensions Kan extension at the nLab Kan extension as a limit: an example...

Pseudocircle – Four-point non-Hausdorff topological space Sierpinski space at the nLab An online paper, it explains the motivation, why the notion of “topology”...

Non-Planar: A Colorful Story", from 4 gravitons blog (2013) planar limit in nLab Beisert, Niklas (January 2012). "Review of AdS/CFT Integrability: An Overview"...

Synthèses, vol. 17, Paris: Société Mathématique de France, ISBN 978-2-85629-164-1, MR 2115000 https://ncatlab.org/nlab/show/category+of+representations...

Charles Weibel, An introduction to homological algebra simplicial group at the nLab What is a simplicial commutative ring from the point of view of homotopy...

2021. Retrieved July 17, 2021. ""体験"だけじゃ物足りない!? 「パタポン2」体験版は、製品版にデータ引き継ぎ可能". Nlab.ITmedia.co.jp (in Japanese). November 13, 2008. Archived from the original...

Mathematics. 48 (5): 1551–1583. arXiv:1805.12454. doi:10.1216/RMJ-2018-48-5-1551. ISSN 0035-7596. MR 3866559. Zbl 1444.54001. Saturated set at the nLab...

Hochschild homology in arithmetic geometry Hochschild cohomology at the nLab Antieau, Benjamin; Bhatt, Bhargav; Mathew, Akhil (2019). "Counterexamples...

p. xii "Does the concept of "cograph of a function" have natural generalisations / Extensions?". (Muro 2016) (Lazard 1969, LEMME 1.0.) pushout in nLab...

ISSN 0217-751X. S2CID 119087306. Quantized enveloping algebra at the nLab Quantized enveloping algebras at q = 1 {\displaystyle q=1} at MathOverflow...

 96. Look up carry in Wiktionary, the free dictionary. Weisstein, Eric W. "Carry". MathWorld. Weisstein, Eric W. "Borrow". MathWorld. Carrying - nLab...

Theory in Context. Dover Publications. ISBN 978-0486809038. Equalizer at the nLab Interactive Web page which generates examples of equalisers in the category...

of R R is the extension of Φ {\displaystyle \Phi } Extensional logic Extensional set Extensionality Intension extension (semantics) in nLab v t e v t e...

Algebraic & Geometric Topology, 7: 1441–1470, arXiv:math/0701293, doi:10.2140/agt.2007.7.1441, ISSN 1472-2747, MR 2366165 Dendroidal set at the nLab...

JSTOR 1968956, MR 0007107 Whitehead, George W. (1978), Elements of homotopy theory, Berlin: Springer, ISBN 0-387-90336-4, MR 0516508 J-homomorphism at the nLab...

cooperation with Anders Björner and Günter M. Ziegler "suspension type in nLab". ncatlab.org. Retrieved 2024-08-20. Matoušek, Jiří (2007). Using the Borsuk-Ulam...

2008-06-15. Porter, Tim (April 8, 2014), "Hochschild-Kostant-Rosenberg theorem", nLab. Kostant's home page at MIT Bertram Kostant at the Mathematics Genealogy...

Bibcode:2006PhLB..635..131B. doi:10.1016/j.physletb.2006.02.038. "dilatino in nLab". ncatlab.org. Retrieved 2026-03-04. Ohta, Tadayuki; Mann, Robert (1996)...

ISBN 978-0-691-14048-3. Charles Rezk, Generalizing accessible ∞-categories, 2021 draft https://ncatlab.org/nlab/show/accessible+%28infinity%2C1%29-category v t e...

(4): 323–378, arXiv:1003.3820, doi:10.1007/s10485-010-9240-1 2-group at the nLab 2008 Workshop on Categorical Groups at the Centre de Recerca Matemàtica...

accessed on 12/10/2010 Review of "Nonabelian Algebraic Topology" at the nLab A Review of "Nonabelian Algebraic Topology" by Prof. J. Baez on June 6, 2009...

identity maps of the objects Xj and Xk, respectively. See pre-additive category for more. Cartesian closed category Cartesian monoidal category at the nLab...

Cambridge University Press. p. 22. ISBN 0-521-44178-1. Product category at the nLab Mac Lane, Saunders (1978). Categories for the Working Mathematician (Second ed...

Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag, Berlin, Heidelberg, New York, 1997. ISBN 0-387-98403-8 Forgetful functor at the nLab...

2307/2033466, JSTOR 2033466 Semadeni, Z. (1963), "Projectivity, injectivity and duality", Rozprawy Mat., 35, MR 0154832 projective object at the nLab...

Business Media. p. 10. ISBN 978-0-8176-4186-3. equivalence of categories at the nLab "Equivalence of categories", Encyclopedia of Mathematics, EMS Press, 2001...

1 (2): 153–240. arXiv:1401.1044. doi:10.4171/EMSS/4. https://ncatlab.org/nlab/show/higher+stack David Carchedia, On the étale homotopy type of higher stacks...

Homological Algebra: In Strongly Non-Abelian Settings. World Scientific. ISBN 9814425931. Retrieved 14 January 2017. Conservative functor at the nLab v t e...

Theories". Current Developments in Mathematics: 129–280. arXiv:0905.0465. doi:10.4310/CDM.2008.v2008.n1.a3. cobordism hypothesis at the nLab v t e v t e...

Archive". library.wolfram.com. Retrieved 2025-10-27. "quantum algebra in nLab". ncatlab.org. Retrieved 2025-10-27. Quantum algebra at arxiv.org v t e v...

Emily (2016). Category Theory in Context. Dover Publications, Inc Mineola, New York. ISBN 9780486809038. Essentially surjective functor at the nLab v t e...

classic reference that rewards the effort you put into it. Local Fields at the nLab the famous text Corps Locaux by Serre Guillot, Pierre (2018). A gentle course...

mathematischen Wissenschaften (278) Springer-Verlag, 1983). diagram at the nLab Diagram Chasing at MathWorld WildCats is a category theory package for Mathematica...

Girls". "コナミとタカラ、共同で人気アクションフィギュアシリーズ「Cool Girl」をゲーム化! Ps2で来年夏に発売予定". https://nlab.itmedia.co.jp/games/gsnews/0205/09/news06.html "E3 2002: Cy Girls officially...

Series in 20th Century Mathematics. 4: 363–384. doi:10.1142/9789812812834_0026. ISBN 978-981-02-2385-4. infinite-dimensional Chern-Simons theory on nLab...

on Categorical Algebra. (La Jolla, 1965. Springer. pp. 421–562. doi:10.1007/978-3-642-99902-4_22. ISBN 978-3-642-99902-4. Closed category at the nLab...

Cambridge University Press. ISBN 9780511629228. Frobenius category at the nLab Section 13.4 of Bühler, Theo (2010). "Exact Categories". Expositiones Mathematicae...

Retrieved 26 September 2022. Faddeev, Ludwig (1996). "How Algebraic Bethe Ansatz works for integrable model". arXiv:hep-th/9605187. Spin chain in nLab...

relative categories. Dold–Kan correspondence Kan extension Daniel Kan at the nLab Miller, Haynes (Fall 2014). "Life & Teaching of Daniel Kan". MIT OpenCourseWare...

ISSN 0002-5240. S2CID 253600065. Freyd–Mitchell embedding theorem at the nLab "Notes on the Nash embedding theorem". What's new. 2016-05-11. Retrieved...

Sp(2)". Journal of Mathematics of Kyoto University. 3 (2): 217–250. doi:10.1215/kjm/1250524818. Donaldson 1983, p. 295 principal SU(2)-bundle at the nLab...

of Real Vector Bundles". arXiv:2310.05061 [math.AT]. spinʰ structure on nLab Hu 2023, Def. 4.3 Albanese & Milivojević 2021, Definition 3.1 Albanese &...

the Scherk–Schwarz mechanism is a possibility which can't be neglected. "Scherk-Schwarz mechanism in nLab". ncatlab.org. Retrieved 21 August 2025. v t e...

group Finitely generated module Finitely generated ideal Finitely generated algebra Finitely generated space finitely generated object at the nLab. v t e...

1371/journal.pone.0024274. PMC 3269434. PMID 22303434. Giry monad at the nLab Giesa, Tristan; Spivak, David I.; Buehler, Markus J. (2011). "Reoccurring...

negative) measure, not necessarily a probability measure. Markov kernel in nLab. Reiss, R. D. (1993). A Course on Point Processes. Springer Series in Statistics...

Business Media. p. 10. ISBN 978-0-8176-4186-3. Pullbacks in Category of Sets and Partial Functions Pointed set at PlanetMath. Pointed object at the nLab...

understand human interlocutors. In 2021 the company presented technology called NLab Speech ASR which contains a set of neural-networking algorithms for processing...

(1966), p. 38. Arkhangel'skij & Fedorchuk (1990), p. 25. "Moore closure". nLab. March 7, 2015. Retrieved August 19, 2019. Pervin (1964), p. 42, Exercise...

Springer-Verlag, Berlin-New York. doi:10.1007/bfb0091894. ISBN 3-540-11170-0. MR 0655036. "ordinal analysis in nLab". ncatlab.org. Retrieved 2021-08-28. v t e v t e...

to quasicategories" (PDF) – via ncatlab.org. homotopy hypothesis at the nLab "What is the mistake in the proof of the Homotopy hypothesis by Kapranov...

88 (4): 458–472. doi:10.1007/BF02365309. Rigid monoidal category at the nLab Yetter, David N. (2001). Functorial Knot Theory. World Scientific. ISBN 981-02-4443-6...

motives. T.I.F.R., Mumbai, 2000. Reference for Nori motives Nori motive in nLab Caramello, Olivia. "Motivic toposes." arXiv preprint arXiv:1507.06271 (2015)...

2023. ""声が出ない"平本蓮、記者会見で「通訳」越しに朝倉未来を挑発 通訳者もディス参加する前代未聞の事態に「皆さんが笑ってるのが不思議」". nlab.itmedia.co.jp. Retrieved 3 March 2023. "バンタム級王座をめぐり朝倉海vs元谷友貴、井上直樹vsフアン・ア...

logic: a first introduction to topos theory, ISBN 0-387-97710-4, ISBN 3-540-97710-4, the chapter on "Categorical preliminaries" Small set at the nLab...

doi:10.1007/BFb0083084. ISBN 978-3-540-04601-1. Distributive law at the nLab Kasangian, Stefano; Lack, Stephen; Vitale, Enrico M. (2004-12-05), "Coalgebras...

Differential Geometry (Wiley Classics Library) Volume 1, 2. Wedge Product of Lie Algebra Valued One-Form groupoid of Lie-algebra valued forms at the nLab...

Scientific Series in 20th Century Mathematics. 4: 363–384. doi:10.1142/9789812812834_0026. ISBN 978-981-02-2385-4. infinity-Chern-Simons theory on nLab...

programming languages. MIT Press. pp. 255–8. ISBN 0-262-19349-3. Pure type system at the nLab Jones, Roger Bishop (1999). "Pure Type Systems overview"....

Press, 2001 [1994] Continuous poset at the nLab Continuous category at the nLab Exponential law for spaces at the nLab Continuous poset at PlanetMath....

Sydsvenskan". Sydsvenskan.se. Retrieved 14 July 2014. Wightman axioms in nLab. Les Problemes mathematiques de la théorie quantique des champs. Paris: CNRS...

Quandles and Racks by Seiichi Kamada Shelves, Racks, Spindles and Quandles, p. 56 of Lie 2-Algebras by Alissa Crans https://ncatlab.org/nlab/show/quandle...

3607. doi:10.1112/jtopol/jtv042. MR 3465850. S2CID 119160499. "Pyknotic sets". nLab. Official website Clark Barwick at the Mathematics Genealogy Project...

weakly enriched in symmetric monoidal categories". Theory and Applications of Categories. 24 (20): 564–579. arXiv:0909.5270. Rig category at the nLab...

Retrieved February 6, 2021. Combinatorial maps in CGoGN, Combinatorial and Geometric modeling with Generic N-dimensional Maps Combinatorial map at the nLab...

Homotopy Theory". 19 Lectures. Institute for Advanced Study. http://ncatlab.org/nlab/show/chromatic+homotopy+theory Hopkins, M. (1999). "Complex Oriented Cohomology...

literature given for order theory and domain theory. "compact element in nLab". ncatlab.org. Retrieved 2024-11-03. "Compact lattice element - Encyclopedia...

https://mathoverflow.net/questions/310731/localization-of-infty-categories https://ncatlab.org/nlab/show/localization+of+an+%28infinity%2C1%29-category...

MR 0258031 Jacob Lurie, Formal moduli problems, section 2.1 differential graded Lie algebra at the nLab model structure on dg Lie algebras at the nLab...

1103/PhysRevLett.98.160409. ISSN 0031-9007. PMID 17501404. "Walker-Wang model in nLab". ncatlab.org. Retrieved 2024-03-23. Walker, Kevin; Wang, Zhenghan (2011-04-27)...

doi:10.1016/j.aim.2015.03.031. Category of elements at the nLab Grothendieck Construction at the nLab https://mathoverflow.net/questions/322763/why-is-the-...

rule also has a cut-free proof, that is, a proof that does not make use of the cut rule. "cut rule in nLab". ncatlab.org. Retrieved 2024-10-22. v t e...

ISBN 0-521-79160-X. Mitchell, Stephen (August 2001). Universal principal bundles and classifying spaces (PDF). classifying space on nLab BU(n) on nLab...

ISBN 978-3-642-99904-8 – via lawverearchives.com. https://ncatlab.org/nlab/show/ETCC Elaine Landry, Categories for the Working Philosopher, https://pages...

eda-lemma-for-2-categories-lax-version "Yoneda lemma for bicategories in nLab". ncatlab.org. "94.5 The 2-Yoneda lemma—The Stacks project". stacks.math...

P. T. (1977). Topos theory. Academic Press. Roy L. Crole, Categories for types, Cambridge University Press (1994) balanced category at the nLab v t e...

contraction Extension of a topological group group+extension#Definition at the nLab Remark 2.2. page no. 830, Dummit, David S., Foote, Richard M., Abstract algebra...

The Stacks project, The Stacks Project Authors "Deligne–Mumford stack", nLab, retrieved 2025-11-14 Rydh, David (2008), "Existence of quotients by finite...

Mathematical Society, ISBN 978-0-8218-6867-6, Zbl 1255.17001 Shlomo Sternberg (2004), Lie algebras, Harvard University. Universal enveloping algebra at the nLab...

at Cornell University. Several papers dealing with valuations on convex sets, valuations on manifolds and related topics. The nLab page on valuations...

JSTOR 2977018. Archived from the original on August 10, 2017. "group algebra in nLab". ncatlab.org. Retrieved 2017-11-01. A. A. Bovdi (2001) [1994], "Group algebra"...

405 Brandenberger & Vafa, p. 397 Brandenberger & Vafa, p. 399 Brandenberger & Easson & Kimberly 2001, Equation (15) Brandenberger-Vafa mechanism on nLab...

principal bundles and classifying spaces (PDF). classifying space on nLab BO(n) on nLab Milnor & Stasheff, Theorem 7.1 on page 83 Lawson & Michelson 90, Theorem...

Kock, A., Reyes, G., Doctrines in categorical logic, in Handbook of Mathematical Logic, ed. J. Barwise, North Holland 1977 Algebraic theory at the nLab...

Goerss & Jardine (1999), Ch 3. Corollary 2.3 nerve and realization at the nLab Lurie, § 1.2.4. Brown, Ronald; Higgins, Philip J.; Sivera, Rafael (2011)...

Chua et al.: ZFA: Zermelo–Fraenkel set theory with atoms, on: ncatlab.org: nLab, revised on July 16, 2016. Jech, Thomas J. (1973). The Axiom of Choice. Mineola...

Sheaf Theory. doi:10.1017/CBO9780511661761. ISBN 9780521207843. stalk in nLab The Stacks Project authors. "6.11 Stalks". The Stacks Project authors. "6...

Higher Algebraic K-Theory, CRC Press, p. 96, ISBN 9781584886037. connective spectrum at the nLab Why are connective spectra called “connective”? v t e...

(July 25, 2022). フルボイスキャラクターの会話をスキップしたら恐ろしいことが... コウイチTVの"ゲームあるある"動画の発想が天才的. NLab [ja] (in Japanese). ITmedia. Archived from the original on December 1, 2025...

Reviews in Mathematical Physics. 12 (6): 873–920. Bibcode:2000RvMaP..12..873W. doi:10.1142/S0129055X00000344. MR 1770545. quantum dilogarithm at the nLab...

bicoalgebroids, Appl. Categor. Struct. 16, 29–55 (2008) nLab, Associative bialgebroid, https://ncatlab.org/nlab/show/bialgebroid Stjepan Meljanac, Zoran Škoda...

doi:10.1109/LICS.1994.316071. ISBN 0-8186-6310-3. "Axiom of set truncation". nLab. Retrieved 2024-02-05. Hoffman, Martin (1996). "Conservativity of equality...

1103/PhysRevLett.123.180201. PMID 31763914. Allen Hatcher's book-in-progress Vector Bundles & K-Theory version 2.0, p. 22. clutching construction on nLab...

(link) Yang–Mills flow Seiberg–Witten flow Yang-Mills-Higgs flow at the nLab Zhang 2020, Eq. (1.1) Changpeng, Zhenghan & Zhang 2023, Eq. (1.2) Zhang 2020...

Algebraic Geometry DAG reading group (Fall 2011) at Harvard http://ncatlab.org/nlab/show/derived+algebraic+geometry Michigan Derived Algebraic Geometry RTG Learning...

theory of ultrafilters, Berlin, New York: Springer-Verlag, MR 0396267 Ultrafilter at the nLab "Mathematical Logic 15, The Ultrafilter Theorem" on YouTube...

Michel Emsalem and Carlo Gasbarri. Nori motive (see https://ncatlab.org/nlab/show/Nori+motive) "Madhav Vithal Nori". Indian national science academy....

calculus, J. Algebra 3 366–375 (1966) Fosco Loregian, This is the (co)end, my only (co)friend, arXiv preprint [1] extranatural+transformation at the nLab...

(1953) used convex spaces to prove the Mixture-space theorem. "Convex space". nLab. Retrieved 3 April 2023. Fritz, Tobias (2009). "Convex Spaces I: Definition...

2014-03-30. Ikeya, Hayato (2008-07-04). "もう遊んだ？ ムフフでドキドキな「ペルソナ4」の「温泉ノゾき見大作戦」". NLab (in Japanese). IT Media. Archived from the original on 2024-04-08. Retrieved...

doi:10.1090/S0002-9947-06-03833-5. ISSN 0002-9947. "n-connected space in nLab". ncatlab.org. Retrieved 2017-09-18. Frick, Florian; Soberón, Pablo (2020-05-11)...

496–514. arXiv:1806.06129. doi:10.1016/j.exmath.2019.02.004. SGA 1.VI - Fibered categories and descent - pages 119-153 Grothendieck fibration at the nLab...

the original on September 2, 2019. Retrieved September 19, 2019. https://nlab.itmedia.co.jp/nl/articles/1902/09/news017.html Archived 2019-09-02 at the...

"Braided monoidal categories" (PDF). Macquarie Math Reports. 86–0081 – via nLab. Joyal, A.; Street, R. (1993). "Braided Tensor Categories". Advances in Mathematics...

Youtube. Archived from the original on 2021-12-19. String diagrams at the nLab DisCoPy, a Python toolkit for computing with string diagrams Media related...

ISBN 0-486-42533-9 Robinson, Alan J. A.; Voronkov, Andrei (2001-06-22). Handbook of Automated Reasoning. Elsevier. ISBN 978-0-08-053279-0 Substitution at the nLab...

Functional Analysis. Graduate Texts in Mathematics. Vol. 96. Springer Verlag. ISBN 0-387-97245-5. hemicompact space on nLab hemicompact on π-Base v t e...

(5.1) and (6.1) Chiang 2013, Eq. (10), (5.2) and (6.3) Chiang 2013, Definition 6.3.2 Chiang 2013, Proposition 6.3.3. Bi-Yang-Mills equation at the nLab...

The Banner, Christian Reformed Church in North America, retrieved 2024-06-09 Dorette Pronk publications indexed by Google Scholar Dorette Pronk in nLab...

Proposition 3.3.3.7". kerodon.net. Retrieved 2025-04-19. Goerss & Jardine 1999, S. 182 subdivision at the nLab The Subdivision of a Simplicial Set at Kerodon...

Princeton University Press, arXiv:math.CT/0608040, ISBN 978-0-691-14049-0, MR 2522659 https://ncatlab.org/nlab/show/limits+and+colimits+by+example v t e...

Annales Scientifiques de l'École Normale Supérieure, Série 4, 27 (1): 63–102, doi:10.24033/asens.1689, ISSN 0012-9593, MR 1258406 dg-category in nLab...

see also the proof of Theorem 3.1. (Bourbaki-Witt) at https://ncatlab.org/nlab/show/Zorn's+lemma What we call a tower here is the same as an s-inductive...

Providence, RI: American Mathematical Society. pp. xvi+367. doi:10.1090/gsm/035. ISBN 0-8218-2160-1. MR 1841974. https://ncatlab.org/nlab/show/path+space v t e...

Noncommutative spaces, preprint MPI-2004-35 Vale, R. (2009). "notes on quasi-free algebras" (PDF). https://ncatlab.org/nlab/show/quasi-free+algebra v t e...

 18. Springer-Verlag. p. 313 (or 301). ISBN 978-1447143932. Archived from the original (PDF) on November 7, 2013. red-shift conjecture at the nLab v t e...

insti.physics.sunysb.edu. Retrieved 2023-11-16. "Peter van Nieuwenhuizen in nLab". ncatlab.org. Retrieved 2023-11-16. "INSPIRE". inspirehep.net. Retrieved...

sketches". Canadian Mathematical Bulletin. 35 (3). Canadian Mathematical Society: 287–294. doi:10.4153/CMB-1992-040-7. Subterminal object at the nLab v t e...

weak ∞-category in terms of globular sets. computad at the nLab globular+set at the nLab Maltsiniotis, G (13 September 2010). "Grothendieck ∞-groupoids...

ISBN 978-0-444-51560-5. S2CID 117677547. DHR superselection theory at the nLab. Doplicher, Sergio (2010). "The Principle of Locality: Effectiveness, fate...

Helvetici, 28: 17–86, doi:10.1007/BF02566923, MR 0061823, S2CID 120243638 Complex bordism at the manifold atlas cobordism cohomology theory at the nLab...

 211–221. Armindo Costa: Topological Complexity of Configuration Spaces, Ph.D. Thesis, Durham University (2010), online Topological complexity on nLab v t e...

MR 1975381. S2CID 118338851. Zbl 1088.06001. Exponential law for spaces. at the nLab Tim Campion. "Exponential law w.r.t. compact-open topology". Vladimir Sotirov...

Foundations of Quantum Field Theory. ISBN 978-9813278639. "Albert Schwarz in nLab". Vassiliev, V. A. (2011). "Topological complexity and Schwarz genus of general...

Topology. 24 (5): 2851–2888. arXiv:2211.13679. doi:10.2140/agt.2024.24.2851. nLab, Cubical set. Rick Jardine, Cubical sets, Lecture 12 in "Lectures on simplicial...

University Press; University of Tokyo Press, ISBN 978-0-691-08122-9 bordism ring in nLab The unoriented cobordism ring, a blog post by Akhil Mathew v t e...

Geometry and Physics. 216 105590. arXiv:2410.01909. Bibcode:2025JGP...21605590B. doi:10.1016/j.geomphys.2025.105590. Gromoll-Mayer sphere at the nLab...

Monthly Notices of the Royal Astronomical Society: Letters. 537 (1): 55–60. arXiv:2412.15143. doi:10.1093/mnrasl/slae112. Inhomogeneous cosmology @ nlab...

ISBN 978-0-309-08410-9 – via Google Books. Starobinsky model of cosmic inflation at the nLab. Publication list at the Landau Institute for Theoretical Physics....

s-the-intuition-behind-the-inertia-orbifold-or-stack https://ncatlab.org/nlab/show/inertia+orbifold https://thehighergeometer.wordpress...

13568:2002(E), p. 23 See U+2A3E and U+2A1F on FileFormat.info "internal relations". nlab. Retrieved 26 September 2023. See the image for an example where R ; S {\displaystyle...

Retrieved 2021-07-06. "元AKB48・佐藤すみれ、第2子出産 夫・愛鷹亮が性別＆名前を発表し「産まれてきてくれてありがとう」". nlab.itmedia.co.jp. September 9, 2023. Retrieved 2023-09-20. NYAF confirms AKB48...

the original (PDF) on 2013-06-19. Retrieved 2020-06-07. http://ncatlab.org/nlab/show/profinite+completion+of+the+integers https://web.archive...

Khanjanzadeh, Zeinab; Madanshekaf, Ali (2019). "On Projection Algebras". Southeast Asian Bulletin of Mathematics. 43 (2). Extended natural number at the nLab...

". nlab.itmedia.co.jp. Retrieved April 20, 2023. "クリムゾンII －邪神の逆襲－（PC-8801）". プロジェクトEGG (in Japanese). Retrieved March 12, 2023. "SBG:EGGI". nlab.itmedia...

Theory and Applications of Categories. Vol. 1. Enriched category at the nLab Hinich, Vladimir (2016). "Enriched Yoneda Lemma" (PDF). Theory and Applications...

Texts in Mathematics, vol. 222 (2nd ed.), Springer MathOverflow:Are abelian non-degenerate tensor categories semisimple? Semisimple category at the nLab...

algebraic K-theory. Graduate Studies in Math. Vol. 145. American Mathematical Society. ISBN 978-0-8218-9132-2. Module over a monoid at the nLab v t e...

Society, Providence, RI, 2007. Lawvere–Tierney topology "Myles Tierney in nLab". ncatlab.org. Retrieved 2018-03-07. List of Fellows of the American Mathematical...

operad. Bruno Vallette, Cambridge University Press, (2014) operad at the nLab https://golem.ph.utexas.edu/category/2011/05/an_operadic_introduction_to_en...

doi:10.1016/j.jpaa.2003.11.002. Lurie, Jacob, Higher K-Theory of ∞-Categories (Lecture 16) (PDF) Complete Segal space "Waldhausen S-construction". nLab....

Mathematica. 7 (4): 533–564. arXiv:math/0106052. doi:10.1007/s00029-001-8098-3. Twisted Arrows and Cospans on Kerodon twisted arrow category at the nLab...

1007/JHEP05(2017)091. S2CID 256038181. Tong, David. "Lectures on gauge theory" (PDF). Lectures on Theoretical Physics. Retrieved August 7, 2022. nLab...

Cohomology of Finite Postnikov Towers (Co)homology of the Eilenberg-MacLane spaces K(G,n) Encyclopedia of Mathematics Eilenberg-Mac Lane space at the nLab...

E_{1}\approx 53m_{e}} for n = 1 {\displaystyle n=1} . Brane "membrane in nLab". ncatlab.org. Archived from the original on 2023-11-02. Retrieved 2023-11-02...

Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157 https://ncatlab.org/nlab/show/affine+morphism...

eds (1975), 517–537. P. Fletcher, W.F. Lindgren, Quasi-uniform Spaces, Marcel Dekker, 1982, ISBN 0-8247-1839-9. Chap.V. orthocompact space on nLab v t e...

"Aelieve's List of 20 Best Physics Websites". MathOverflow Stack Exchange nLab PhysicsOverflow Main, Douglas (2015-09-14). "Bubble Implosions Create Heat...

Notes in Mathematics. Vol. 1763. Springer. pp. 7–66. doi:10.1007/3-540-45328-8_2. ISBN 3-540-42194-7. MR 1860994. Zbl 0999.17002. dialgebra in nLab v t e...

1_{\text{Set}}\downarrow \operatorname {Hom} _{C}(1,-)} . Artin gluing Freyd cover at the nLab Freyd, P. J.; Scedrov, A. (22 November 1990). Categories, Allegories. Elsevier...

Sesqui-Categories" (PDF). Proc. Catégories, Algèbres, Esquisses et Néo-Esquisses. Premonoidal category, funny tensor product and sesquicategory at the nLab...

classifying spaces (PDF). classifying space on nLab BSU(n) on nLab "universal principal bundle". nLab. Retrieved 2024-03-14. Hatcher 02, Example 4D.7...

2025-11-15. 「ラクリマ・クリスティ」ギタリストのKOJIさん、49歳で逝去 2月公開の動画でライブ復帰や楽曲作りについて語っていたばかり. nlab.itmedia.co.jp (in Japanese). 2022-04-22. Retrieved 2022-04-23....

Summer School In Nordfjordeid. Universitext. Springer. doi:10.1007/978-3-540-68376-6. ISBN 978-3540683759. MR 2322081. "Discrete Morse theory". nLab....

space on nLab BSO(n) on nLab Milnor & Stasheff 74, section 12.2 The Oriented Universal Bundle on page 151 "universal principal bundle". nLab. Retrieved...

1082 Porter, Tim (April 8, 2014), "Hochschild-Kostant-Rosenberg theorem", nLab. Moscowitz, p. 1087 Moscowitz, p. 1087 Moscowitz, p. 1087 Moore, Calvin C...

Mathematical Society, 90 (1): 73–112 Bhatt, Bhargav; Scholze, Peter (2019), Prisms and Prismatic Cohomology, arXiv:1905.08229 Amitsur complex at the nLab...

powers of the given linear representation of Γ. "invariant polynomial in nLab". ncatlab.org. Draisma, Jan; Gijswijt, Dion. "Invariant Theory with Applications"...

Exercise 16 tom Dieck 2008, (8.4.5) Example Hatcher 2002, p. 7 tom Dieck 2008, p. 222 tom Dieck 2008, p. 306 infinite-dimensional sphere at the nLab...

theory Arithmetic topology Arithmetic dynamics Arithmetic geometry at the nLab Sutherland, Andrew V. (September 5, 2013). "Introduction to Arithmetic Geometry"...

Mathematics. 370. arXiv:1908.07021. doi:10.1016/j.aim.2020.107239. S2CID 201103837. https://ncatlab.org/nlab/show/Stoch https://ncatlab.org/nlab/show/Krn...

Lectures. ETH Zurich. See item 11 at Voevodsky Lectures univalence axiom in nLab Martín Hötzel Escardó (October 18, 2018) A self-contained, brief and complete...

ISBN 978-1108473200. "homotopy category of an (infinity,1)-category in nLab". ncatlab.org. "1.4.5 The Homotopy Category of an ∞-Category". Kerodon. v...

categories" Paul Goerss and Kristen Schemmerhorn, Model Categories and Simplicial Methods Model category at the nLab Model category in Joyal's catlab...

logic.[citation needed] Initial algebra Coinduction Coalgebra "coalgebra in nLab". ncatlab.org. Retrieved 2025-09-20. Uustalu, Tarmo (2006-06-27). Mathematics...

(1972-12-01). "Strong functors and monoidal monads". Archiv der Mathematik. 23 (1): 113–120. doi:10.1007/BF01304852. ISSN 1420-8938. Strong monad at the nLab...

(PDF). Hotta, Ryoshi; Takeuchi, Kiyoshi; Tanisaki, Toshiyuki, D-Modules, Perverse Sheaves, and Representation Theory BBDG decomposition theorem at nLab...

mathematics. Institute for Advanced Study. Blakers–Massey theorem at the nLab tom Dieck, Tammo (2008). Algebraic Topology. EMS Textbooks in Mathematics...

Scholia has a profile for Pierre Gabriel (Q1343092). Pierre Gabriel at the nLab Pierre Gabriel at the Mathematics Genealogy Project Personal Web Page...

stacks.math.columbia.edu. Retrieved 2024-09-29. "etale morphism of schemes in nLab". ncatlab.org. Retrieved 2024-09-29. Grothendieck, Alexander (1964). "Éléments...

Pullback (category theory) Pushout (category theory) Cobordism span at the nLab Yoneda, Nobuo (1954). "On the homology theory of modules". J. Fac. Sci. Univ...

10, 2021. Kitamoto, Yuko (December 12, 2012). 穂積さん、初の作品集「式の前日」がいきなり売れた理由. nlab.itmedia.co.jp (in Japanese). Retrieved January 10, 2021. 最新号：2011年9月号. Flowers...

Cambridge University Press. p. 6. ISBN 9780883855546. "Centipede mathematics". nLab. September 29, 2016. Retrieved 10 August 2014. John Baez (February 9, 2000)...

many important applications in homotopy theory. "Brown–Gitler spectrum in nLab". "Brown–Gitler Spectra" (PDF). Brown, Edgar H. Jr.; Gitler, Samuel (1973)...

Quantum Topology. 9 (3): 419–460. arXiv:1503.02547. doi:10.4171/QT/111. S2CID 18870964. https://ncatlab.org/nlab/show/Reshetikhin-Turaev+construction...

program Let's play (hya nlab) 2012 - Gulf Festival for Radio and Television in Bahrain for the musical program Let's play (hya nlab) 2010 - Festival for...