Not signed in (Sign In)

A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy.

Want to take part in these discussions? Sign in if you have an account, or apply for one below

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry differential-topology digraphs duality elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nforum nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

- Discussion Type
- discussion topicmodel structure on dg-algebras
- Category Latest Changes
- Started by Urs
- Comments 21
- Last comment by Urs
- Last Active Jul 11th 2021

- Discussion Type
- discussion topicmonadic functor
- Category Latest Changes
- Started by Alec Rhea
- Comments 5
- Last comment by varkor
- Last Active Jul 11th 2021

- Discussion Type
- discussion topicfunctor of descent type
- Category Latest Changes
- Started by Mike Shulman
- Comments 2
- Last comment by varkor
- Last Active Jul 11th 2021

- Discussion Type
- discussion topicmonoidal model category
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active Jul 11th 2021

- Discussion Type
- discussion topichigher inductive type
- Category Latest Changes
- Started by Urs
- Comments 77
- Last comment by Urs
- Last Active Jul 11th 2021

- Discussion Type
- discussion topicGeoff Cruttwell
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Jul 11th 2021

- Discussion Type
- discussion topiclens (in computer science)
- Category Latest Changes
- Started by David_Corfield
- Comments 43
- Last comment by BryceClarke
- Last Active Jul 11th 2021

- Discussion Type
- discussion topicclosed bicategory
- Category Latest Changes
- Started by Mike Shulman
- Comments 7
- Last comment by BryceClarke
- Last Active Jul 11th 2021

- Discussion Type
- discussion topictransgression
- Category Latest Changes
- Started by Eric
- Comments 86
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicinfinity-action
- Category Latest Changes
- Started by Urs
- Comments 25
- Last comment by Ulrik
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicCybernetics and Homotopy Theory/Category Theory
- Category Mathematics, Physics & Philosophy
- Started by Jon Beardsley
- Comments 23
- Last comment by AZ_Submariner
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicshuffle
- Category Latest Changes
- Started by Noam_Zeilberger
- Comments 2
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicEilenberg-Zilber map
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicepimorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicdiagonal of a bisimplicial set
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topiceffective epimorphism in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 24
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicBin Zhang
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topic2-group
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicNora Ganter
- Category Latest Changes
- Started by David_Corfield
- Comments 4
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topicPlatonic 2-group
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by Urs
- Last Active Jul 10th 2021

- Discussion Type
- discussion topichomotopy product
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 6
- Last comment by Urs
- Last Active Jul 9th 2021

- Discussion Type
- discussion topicsymmetric bicategory
- Category Latest Changes
- Started by varkor
- Comments 8
- Last comment by Urs
- Last Active Jul 9th 2021

- Discussion Type
- discussion topicRezk completion
- Category HoTT: Latest Changes
- Started by nLab edit announcer
- Comments 1
- Last comment by nLab edit announcer
- Last Active Jul 8th 2021

- Discussion Type
- discussion topicfinite type
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 8th 2021

- Discussion Type
- discussion topicobject of finite type
- Category Latest Changes
- Started by nLab edit announcer
- Comments 4
- Last comment by Urs
- Last Active Jul 8th 2021

- Discussion Type
- discussion topicinductive family
- Category Latest Changes
- Started by Mike Shulman
- Comments 4
- Last comment by Urs
- Last Active Jul 8th 2021

- Discussion Type
- discussion topicChange edits author
- Category nLab Technical Matters
- Started by mattecapu
- Comments 8
- Last comment by mattecapu
- Last Active Jul 8th 2021

- Discussion Type
- discussion topicsequential limit
- Category Latest Changes
- Started by Hurkyl
- Comments 1
- Last comment by Hurkyl
- Last Active Jul 8th 2021

- Discussion Type
- discussion topic2-category of adjunctions
- Category Latest Changes
- Started by David_Corfield
- Comments 14
- Last comment by varkor
- Last Active Jul 7th 2021

- Discussion Type
- discussion topic"adjunctions" of bimodules
- Category nLab General Discussions
- Started by Théo de Oliveira S.
- Comments 4
- Last comment by Théo de Oliveira S.
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicWeil algebra
- Category Latest Changes
- Started by Urs
- Comments 31
- Last comment by jim_stasheff
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicelementary (infinity,1)-topos
- Category Latest Changes
- Started by David_Corfield
- Comments 87
- Last comment by David_Corfield
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicWilliam Dwyer
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 6
- Last comment by Tim_Porter
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicPL de Rham complex of smooth manifold is equivalent to de Rham complex
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicWilliam G. Dwyer > history
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 3
- Last comment by Urs
- Last Active Jul 7th 2021

- Discussion Type
- discussion topicrestriction of scalars
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 7th 2021

- Discussion Type
- discussion topiccategory of fibrant objects
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by nLab edit announcer
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicJeremy Gibbons
- Category Latest Changes
- Started by BryceClarke
- Comments 1
- Last comment by BryceClarke
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicDynkin diagram
- Category Latest Changes
- Started by Grant_Bradley
- Comments 1
- Last comment by Grant_Bradley
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicsimplicial skeleton
- Category Latest Changes
- Started by mattecapu
- Comments 6
- Last comment by Urs
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicderivator
- Category Latest Changes
- Started by Urs
- Comments 98
- Last comment by Urs
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicPlancherel measure
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by Dmitri Pavlov
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicKakeya Conjecture
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by felipe
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicexternalization
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicSerre spectral sequence
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by Urs
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicMartin Bojowald
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 6th 2021

- Discussion Type
- discussion topiccategorical model of dependent types
- Category Latest Changes
- Started by Mike Shulman
- Comments 40
- Last comment by David_Corfield
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicinhomogeneous cosmology
- Category Latest Changes
- Started by Urs
- Comments 32
- Last comment by Urs
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicMathieu Anel
- Category Latest Changes
- Started by David_Corfield
- Comments 1
- Last comment by David_Corfield
- Last Active Jul 6th 2021

- Discussion Type
- discussion topichomotopy type with finite homotopy groups
- Category Latest Changes
- Started by David_Corfield
- Comments 13
- Last comment by David_Corfield
- Last Active Jul 6th 2021

- Discussion Type
- discussion topicMealy morphism
- Category Latest Changes
- Started by nLab edit announcer
- Comments 9
- Last comment by BryceClarke
- Last Active Jul 5th 2021

- Discussion Type
- discussion topiccofibration category
- Category Latest Changes
- Started by Dmitri Pavlov
- Comments 1
- Last comment by Dmitri Pavlov
- Last Active Jul 5th 2021

- Discussion Type
- discussion topictrivial group
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicsimplicial classifying space
- Category Latest Changes
- Started by Urs
- Comments 30
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicfinite rotation group
- Category Latest Changes
- Started by Urs
- Comments 42
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicicosahedral group
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicoctahedral group
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topictetrahedral group
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicPeter Zvengrowski
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 5th 2021

- Discussion Type
- discussion topicSatoshi Tomoda
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Jul 5th 2021