Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid infinity-topos integration-theory internal-categories kan lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorTim_Porter
   • CommentTimeJul 28th 2010
   • (edited Jul 28th 2010)
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownI have added a stub entry to the lab on [[Dominique Bourn]]. There are quite a few links that need developing there as the [[protomodular category]] stuff is quite rudimentary. I would need to learn more about it to fill things up so if anyone does feel they can help, please charge ahead.

   I have added a stub entry to the lab on Dominique Bourn. There are quite a few links that need developing there as the protomodular category stuff is quite rudimentary. I would need to learn more about it to fill things up so if anyone does feel they can help, please charge ahead.

2. • CommentRowNumber2.
   • CommentAuthorTim_Porter
   • CommentTimeJul 28th 2010
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownI should say that I am interested in non-Abelian versions of the natural systems of Baues and Wirsching and am wondering if there is a neat quick proof that they form a [[semi-Abelian category]]. Any ideas?

   I should say that I am interested in non-Abelian versions of the natural systems of Baues and Wirsching and am wondering if there is a neat quick proof that they form a semi-Abelian category. Any ideas?

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeJul 28th 2010
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI added a link to [[Borceux-Bourn]].

   I added a link to Borceux-Bourn.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeAug 4th 2010
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI added several paragraphs from the introduction to the entry [[Borceux-Bourn]].

   I added several paragraphs from the introduction to the entry Borceux-Bourn.

5. • CommentRowNumber5.
   • CommentAuthorzskoda
   • CommentTimeAug 4th 2010
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI added the complete bibliography to [[Borceux-Bourn]] ! May need here and there some correction and of course, it could be linked to MR-s or online versions of articles in lots of cases. I have added just few links, especially for the references which were unpublished whle the original bibliography of the book was compiled, but now we know the full publication record.

   I added the complete bibliography to Borceux-Bourn ! May need here and there some correction and of course, it could be linked to MR-s or online versions of articles in lots of cases. I have added just few links, especially for the references which were unpublished whle the original bibliography of the book was compiled, but now we know the full publication record.