nForum

2-category 2-monad [[analytical [[atiyah [[topological abelian-categories accessible adjoint algebra algebraic-geometry analysis angular-velocity arithmetic arrow book bug-report bundle cafe categories category chern-simons classical-logic cobordism cohomology colimit combinatorics comma comonad conference connected connection constructive copyright cover ctaegory database derivator descent diffeology differential display edits end enriched-category-theory enrichment examples extensive-category f-category factorization-system fiber fibration formatting foundations free-loop-space functional-analysis functor gebra geometric geometry gerbes graduate group group-ring groupoid groups higher history hochschild-homology homological homotopy homotopy-limit index index]] infinity-groupoid integration internal-categories internalization intersection intuitionism intuitive kan lax-morphism lie-algebras lie-theory limit limits linear locale locales localization logic lurie mathematics measure mechanics meta model moment-of-inertia monoidal monoidal-category morphism n-groups nerve newpage nforum njournal-submission nonabelian noncommutative operator partition-of-unity philosophy physics predicative presentation pretopology pro-object quantum question reedy-category reflections reflective-subcategory relative representation scheme seminar set sheaf simplicial singer sink site smooth space stack state space string subobject tannaka tensor terminology theorem]] theory topology topos torsor type-theory universal universe weighted-limit wittgenstein