Mathlib

Floor plan of the library

Atlas

Ten territories. Each column is a walk. Filled rooms are ones you have already been inside. The ring is where to go next.

0 / 82 rooms

You just left The continuum

Objects and arrows

Next on this walk is Objects and arrows in Category theory.

Foundations · Category theory · 4 min

Enter Objects and arrows
All0/82⊤ Foundations0/15A Algebra0/15∫ Analysis and topology0/17Δ Geometry0/3Γ Combinatorics and graph theory0/6ζ Number theory0/8ℙ Probability0/5λ Computability0/4∞ Algebraic topology0/5φ Dynamics0/4
⊤ FOUNDATIONSA ALGEBRA∫ ANALYSIS AND TOPOLOGYΔ GEOMETRYΓ COMBINATORICS AND GRAPH THEORYζ NUMBER THEORYℙ PROBABILITYλ COMPUTABILITY∞ ALGEBRAIC TOPOLOGYφ DYNAMICSL(s) Arithmetic functions and L-seriesK Number fields and algebraic number theoryvₚ Valuations and local fieldsΓ Modular formsPosetLattice±∞∞PrimeModuloFib𝒫ℵ𝔠CYF𝔐cptGf↷p(x)[[x]]G(x)VectorMatrixdetSpec(I)EρExactC•⟨u,v⟩Λδ𝒮μLᵖizwe^{iθ}polesf′2x∫κOpenKπ₁ΔⁿAff△C(n,k)n!G=(V,E)TWalkEulerζμℤ[i]ClvₚℚₚSL₂q𝒩𝔼CLT⊥KTMμT(n)MasterΔⁿQuillenHₙCondŜTmixh_topP

Number theory · filled walked · ring next

This territory

ζNumber theory

0/8