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 bundle bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry 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 homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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 topicthe adjunction between type theories and categories
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active May 16th 2012

- Discussion Type
- discussion topicEquivalence for the Join of Standard Simplexes
- Category Mathematics, Physics & Philosophy
- Started by Mirco Richter
- Comments 9
- Last comment by Tim_Porter
- Last Active May 15th 2012

- Discussion Type
- discussion topicfield net
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 14th 2012

- Discussion Type
- discussion topicDHR superselection theory
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 14th 2012

- Discussion Type
- discussion topicSimplex Category
- Category Mathematics, Physics & Philosophy
- Started by Mirco Richter
- Comments 2
- Last comment by Urs
- Last Active May 14th 2012

- Discussion Type
- discussion topicquantum lattice system
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active May 14th 2012

- Discussion Type
- discussion topicfull and faithful (infinity,1)-functor
- Category Latest Changes
- Started by Urs
- Comments 15
- Last comment by TobyBartels
- Last Active May 14th 2012

- Discussion Type
- discussion topicRecursion
- Category Latest Changes
- Started by TobyBartels
- Comments 8
- Last comment by TobyBartels
- Last Active May 13th 2012

- Discussion Type
- discussion topicpresentation of homotopy type theory
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by TobyBartels
- Last Active May 13th 2012

- Discussion Type
- discussion topicinitial algebra
- Category Latest Changes
- Started by Urs
- Comments 6
- Last comment by Mike Shulman
- Last Active May 12th 2012

- Discussion Type
- discussion topicfield with one element
- Category Latest Changes
- Started by zskoda
- Comments 12
- Last comment by zskoda
- Last Active May 11th 2012

- Discussion Type
- discussion topicfiltered colimit
- Category Latest Changes
- Started by Urs
- Comments 8
- Last comment by TobyBartels
- Last Active May 11th 2012

- Discussion Type
- discussion topicWhat is homotopy type theory good for? An observation.
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 18
- Last comment by Urs
- Last Active May 10th 2012

- Discussion Type
- discussion topicprojectively cofibrant filtered diagrams
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 30
- Last comment by Stephan A Spahn
- Last Active May 10th 2012

- Discussion Type
- discussion topicK(Z,3)
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 8
- Last comment by Urs
- Last Active May 9th 2012

- Discussion Type
- discussion topicseparated geometric morphism
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by zskoda
- Last Active May 9th 2012

- Discussion Type
- discussion topicDirect product of relations
- Category nLab General Discussions
- Started by porton
- Comments 14
- Last comment by DavidRoberts
- Last Active May 8th 2012

- Discussion Type
- discussion topicJouanolou cover
- Category Latest Changes
- Started by zskoda
- Comments 1
- Last comment by zskoda
- Last Active May 7th 2012

- Discussion Type
- discussion topic(infinity,1)-vector bundle
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active May 4th 2012

- Discussion Type
- discussion topiccompact objects in the topos over all manifolds
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 28
- Last comment by Urs
- Last Active May 4th 2012

- Discussion Type
- discussion topicexhaustive category
- Category Latest Changes
- Started by Mike Shulman
- Comments 8
- Last comment by Urs
- Last Active May 3rd 2012

- Discussion Type
- discussion topicadhesive categories
- Category Latest Changes
- Started by Mike Shulman
- Comments 7
- Last comment by Urs
- Last Active May 2nd 2012

- Discussion Type
- discussion topicstrongly compact topological space
- Category Latest Changes
- Started by Urs
- Comments 3
- Last comment by Urs
- Last Active May 2nd 2012

- Discussion Type
- discussion topicTwo-dimensional modal logic paper
- Category Preprints & Publications
- Started by DavidRoberts
- Comments 1
- Last comment by DavidRoberts
- Last Active May 2nd 2012

- Discussion Type
- discussion topiccurved dg-algebra
- Category Latest Changes
- Started by Urs
- Comments 11
- Last comment by zskoda
- Last Active May 1st 2012

- Discussion Type
- discussion topicmodels for (infinity,1)-presheaves
- Category Mathematics, Physics & Philosophy
- Started by Mike Shulman
- Comments 5
- Last comment by Mike Shulman
- Last Active Apr 30th 2012

- Discussion Type
- discussion topicQuestion about publishing
- Category Preprints & Publications
- Started by DavidRoberts
- Comments 5
- Last comment by DavidRoberts
- Last Active Apr 30th 2012

- Discussion Type
- discussion topicepipresheaf - ''minus construction''
- Category Latest Changes
- Started by Stephan A Spahn
- Comments 1
- Last comment by Stephan A Spahn
- Last Active Apr 30th 2012

- Discussion Type
- discussion topicMartin Bridson
- Category nLab
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Apr 29th 2012

- Discussion Type
- discussion topicfree-loop-space object of an ∞-groupoid
- Category nLab General Discussions
- Started by Stephan A Spahn
- Comments 4
- Last comment by Urs
- Last Active Apr 27th 2012

- Discussion Type
- discussion topicJames Wallbridge on (oo,1)-Tannakian theory
- Category Latest Changes
- Started by DavidRoberts
- Comments 8
- Last comment by Tim_Porter
- Last Active Apr 27th 2012

- Discussion Type
- discussion topiccompact object in an (infinity,1)-category
- Category Latest Changes
- Started by Urs
- Comments 7
- Last comment by Urs
- Last Active Apr 27th 2012

- Discussion Type
- discussion topicKan complexes as ∞-groupoids
- Category Latest Changes
- Started by Stephan A Spahn
- Comments 14
- Last comment by Urs
- Last Active Apr 26th 2012

- Discussion Type
- discussion topic[[line integral]]
- Category Latest Changes
- Started by TobyBartels
- Comments 1
- Last comment by TobyBartels
- Last Active Apr 26th 2012

- Discussion Type
- discussion topicinverse limit
- Category Latest Changes
- Started by Urs
- Comments 5
- Last comment by TobyBartels
- Last Active Apr 26th 2012

- Discussion Type
- discussion topicaction infinity-groupoid
- Category Latest Changes
- Started by Stephan A Spahn
- Comments 1
- Last comment by Stephan A Spahn
- Last Active Apr 25th 2012

- Discussion Type
- discussion topicergodic theory
- Category Latest Changes
- Started by zskoda
- Comments 4
- Last comment by Urs
- Last Active Apr 25th 2012

- Discussion Type
- discussion topicholomorphic refinement
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 2
- Last comment by Urs
- Last Active Apr 23rd 2012

- Discussion Type
- discussion topicteleparallel gravity
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by SridharRamesh
- Last Active Apr 22nd 2012

- Discussion Type
- discussion topicWeitzenböck connection
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 21st 2012

- Discussion Type
- discussion topicSkeleton - Coskeleton adunction in Subcategories
- Category Mathematics, Physics & Philosophy
- Started by Mirco Richter
- Comments 9
- Last comment by Mirco Richter
- Last Active Apr 20th 2012

- Discussion Type
- discussion topicComplexes of groups
- Category Latest Changes
- Started by Tim_Porter
- Comments 4
- Last comment by Urs
- Last Active Apr 19th 2012

- Discussion Type
- discussion topicEilenberg subcomplex
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 19th 2012

- Discussion Type
- discussion topicmodel structure for dendroidal complete Segal spaces
- Category Latest Changes
- Started by Urs
- Comments 4
- Last comment by Urs
- Last Active Apr 18th 2012

- Discussion Type
- discussion topicSegal conditions in geometric theory?
- Category Mathematics, Physics & Philosophy
- Started by Urs
- Comments 10
- Last comment by Urs
- Last Active Apr 17th 2012

- Discussion Type
- discussion topicBasic theory of Colimits in Cat
- Category nLab General Discussions
- Started by Chris SchommerPries
- Comments 5
- Last comment by Chris SchommerPries
- Last Active Apr 16th 2012

- Discussion Type
- discussion topicCATS4
- Category nLab General Discussions
- Started by Stephan A Spahn
- Comments 3
- Last comment by Urs
- Last Active Apr 16th 2012

- Discussion Type
- discussion topicExtending coverages?
- Category Mathematics, Physics & Philosophy
- Started by DavidRoberts
- Comments 5
- Last comment by Marc Hoyois
- Last Active Apr 16th 2012

- Discussion Type
- discussion topicReedy model structure over the simplex category
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 15th 2012

- Discussion Type
- discussion topicderived geometry
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 15th 2012

- Discussion Type
- discussion topiclocal fibration
- Category Latest Changes
- Started by Urs
- Comments 19
- Last comment by Urs
- Last Active Apr 14th 2012

- Discussion Type
- discussion topicreduced simplicial set
- Category Latest Changes
- Started by Urs
- Comments 1
- Last comment by Urs
- Last Active Apr 14th 2012

- Discussion Type
- discussion topickinds of category
- Category Mathematics, Physics & Philosophy
- Started by David_Corfield
- Comments 10
- Last comment by Mike Shulman
- Last Active Apr 10th 2012

- Discussion Type
- discussion topicF-finite sets
- Category Latest Changes
- Started by TobyBartels
- Comments 19
- Last comment by Mike Shulman
- Last Active Apr 10th 2012

- Discussion Type
- discussion topicenriched weak factorization systems
- Category nLab General Discussions
- Started by Emily Riehl
- Comments 8
- Last comment by Mike Shulman
- Last Active Apr 9th 2012

- Discussion Type
- discussion topic"code" font in nForum gets messed up when printed.
- Category n-Forum
- Started by RodMcGuire
- Comments 11
- Last comment by TobyBartels
- Last Active Apr 6th 2012

- Discussion Type
- discussion topiccategorical- and geometric homotopy groups in an (infinity,1)-topos
- Category nLab General Discussions
- Started by Stephan A Spahn
- Comments 4
- Last comment by Stephan A Spahn
- Last Active Apr 5th 2012

- Discussion Type
- discussion topicIndroduction to a simplicial model of homotopy type theory
- Category Latest Changes
- Started by Stephan A Spahn
- Comments 3
- Last comment by Stephan A Spahn
- Last Active Apr 5th 2012

- Discussion Type
- discussion topicLambek and Scott
- Category Latest Changes
- Started by Tim_Porter
- Comments 1
- Last comment by Tim_Porter
- Last Active Apr 4th 2012

- Discussion Type
- discussion topicdeformation retract
- Category Latest Changes
- Started by Urs
- Comments 2
- Last comment by Urs
- Last Active Apr 4th 2012