Kerodon is an online textbook on categorical homotopy theory and related mathematics. It currently consists of a handful of chapters, but should grow (slowly) over time. It is modeled on the Stacks project, and is maintained by Jacob Lurie. Its infrastructure uses Gerby, which is maintained by Pieter Belmans. The design was created by Opus Design.

The genus Kerodon (vernacular name mocos; rock cavies [1]) contains two species of South American rock cavies, related to capybaras and guinea pigs. [2] They are found in semiarid regions of northeast Brazil known as the Caatinga .

2025年2月1日 · 岩豚鼠属 （学名： Kerodon）是 水豚亚科 下的一个属，其下生物是生活在 南美洲 的 啮齿动物，与 水豚属 生物有亲缘关系。 [1] 它们主要生活在岩石嶙峋的峭壁上和洞穴中，也因此得名。 [2] 他们的体型相对水豚要小得多，外形与兔子肖似、脚掌厚实。 成年的岩豚鼠体长20—40厘米（7.9—15.7英寸），重约1千克（2.2英磅）。 [3] 主要以树叶、树皮、种子和草为食。 [2] 其怀孕期约76天，每年产胎1至3只，幼体在33天之内就会断奶。 133天后达到性成熟。 [4] …

an online resource for homotopy-coherent mathematics. Forage Part 1: Foundations. Chapter 1: The Language of $\infty $-Categories; Chapter 2: Examples of $\infty $-Categories; Chapter 3: Kan Complexes; Chapter 4: The Homotopy Theory of $\infty $-Categories; Chapter 5: Fibrations of $\infty $-Categories. Part 2: Higher Category Theory. Chapter 6: Adjoint Functors ...

Elliptic Cohomology III: Tempered Cohomology. This paper constructs a "tempered" cohomology theory associated to any oriented P-divisible group over a commutative ring spectrum A, and shows that there is an accompanying theory of local systems which satisfies ambidexterity for pi …

岩豚鼠（學名：[Kerodon rupestris] 错误：{{Lang}}：文本有斜体标记（帮助） ）是岩豚鼠屬下的一種齧齒動物，原産於巴西東部皮奧伊州到米納斯吉拉斯州的地區內。

岩豚鼠属于豚鼠属的一种，岩豚鼠属(Kerodon, 即岩豚鼠)。群居，栖于地洞，有时将地下掏空，人在地面行走时会陷入其中。以草、树叶等为食。栖息在平原、沼泽和岩石地区。多为夜行性；昼行性，常晒太阳取暖。一年繁殖两次，妊娠期约2个月，每产1∼4仔。

岩豚鼠（Kerodon）项目。| 图片来源：kerodon.net. 乔亚尔说：“天才在数学发展中扮演了重要的角色，但实际上知识本身是学术界活动的结果。知识的真正目的是成为社区的知识，而不是一两个人的知识。” 后 记 . 数学和物理融合的黄金时代

最好的无穷范畴ref之一：Kerodon. 接下来我们主要说说technique怎么学，这是大多数初学者的最大障碍。虽然说比起 Top (or sSet) -enriched category这俩，quasi-category技术上简单一些，但它在绝对意义上仍然highly technical.

An online resource for homotopy-coherent mathematics. $\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$ 1 Foundations Structure. Chapter 1: The Language of $\infty $-Categories . Section 1.1: Simplicial Sets . Subsection 1.1.1: Face Operators ; Subsection 1.1.2: Degeneracy Operators