Not signed in (Sign In)

Start a new discussion

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 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 history homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie lie-theory limit 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 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.

Welcome to nForum
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).
    • a bare table, to be !include-ed under “Related entries” in pertinent entries

      Am trying to bring some order into the mess of entries of cobordism cohomology theories…

      v1, current

    • starting a minimum, for the moment just to have a place for recording references

      v1, current

    • typo list: - closed $ for page rendering about 60% through file - invalid mathcal(G)

      ccg

      diff, v32, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • added the following pointers on non-deterministic automata as 1-dimensional defect TQFTs:

      In the course of doing so I tried to fix some oddities in this neglected entry. But I don’t have time to do it justice.

      diff, v6, current

    • added pointer to:

      • Rob Norris, Functional Programming with Effects, talk at Scala Days 2018 [video: YT]

      diff, v56, current

    • Just for completeness, I am giving this term its own little entry, to make it easier for the reader to understand what it is they are being pointed to.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub, for the moment just to make some links work

      v1, current

    • noticed that we didn’t have an entry with this title, starting a bare minimum here,

      v1, current

    • Stub for associative n-categories.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • removing “category: category theory” as we don’t want cycles in the categories. also a category with only one page is not worth much and a category called “category theory” is a pleonasm

      Valeria de Paiva

      diff, v2, current

    • Started an article on monoidal monad. An earlier redirect had sent it over to Hopf monad which is something that Zoran was working on, but I think it deserves an article to itself, with discussion of the relation to commutative monads, etc. (which I have started).

    • Fixed a dead link to the Lack-Power paper

      Anonymous

      diff, v14, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • extended stub, including: - many motivational examples - a definitional sketch

      v1, current

    • Stub with, basic definition and further pointers

      v1, current

    • the minimum definition and some plain cross-links (we didn’t have this elsewhere, or do we?)

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, for the moment just to record some references

      v1, current

    • I have tried to start a table at maximal compact subgroup listing Lie groups and their max compact subgroups. But once again the table does not want to typeset properly.

      Have to run now, will try to fiddle with this later.

    • Created page, copying material from the one on David Roberts’ web.

      v1, current

    • Added the three papers on generic representation theory

      diff, v3, current

    • have created enriched bicategory in order to help Alex find the appropriate page for his notes.

    • Added a stub for this journal, as a place to link to category theoretic papers published there, which can be difficult to find for those unfamiliar with Gallica.

      v1, current

    • Spelled out the (equivalent) definition of locally small indexed category, and noted the equivalence of 2-categories explicitly.

      Eigil Rischel

      diff, v6, current

    • Page created, but author did not leave any comments.

      v1, current

    • Created poset-stratified space. I wasn’t sure what to call this, since the references generally just call it a “stratified space”, but our page stratified space is about all notions of stratified space rather than just one of them. Suggestions are welcome.

      (Am now listening to John Francis talk about these things at the Mid-Atlantic Topology Conference.)

    • Page created, but author did not leave any comments.

      v1, current

    • New entry string topology, short sentence and several complete references, with links.

    • brief category:people-entry for hyperlinking references

      v1, current

    • created page, with basic def and intuition

      v1, current

    • I have edited a bit at Fredholm operator. Also started a stubby Fredholm module in the process. But it remains very much unfinished. Have to interrupt now for a bit.

    • Wrote a section on the associated monad at operad, in terms of the framework introduced under the section titled Preparation.

    • Just a stub for the moment to try to introduce the notion of differential category due to Blute, Cockett and Seely.

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current