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 bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity 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 internal-categories itex 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 science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory subobject 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.

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).
    • Currently nothing but a pointer to page 16 of

      Just so as to sort out the issue with where the term appears, as discussed in another thread here.

      v1, current

    • Creating the page. Described briefly both the usual Lack model structure and the model structure using semi-strict equivalences coming from my thesis. A lot more could be added.

      v1, current

    • Added some references on the categorical point of view on AECs. I think ideally this page would be rewritten to take that perspective from the start, in line with the nPOV, but I certainly don’t have the time (or background) to do that myself.

      diff, v9, current

    • I worked on brushing up (infinity,1)-category a little

      • mostly I added in a section on homotopical categories, using some paragraphs from Andre Joyal's message to the CatTheory mailing list.

      • in this context I also rearranged the order of the subsections

      • I removed in the introduction the link to the page "Why (oo,1)-categories" and instead expanded the Idea section a bit.

      • added a paragraph to the beginning of the subsection on model categories

      • added the new Dugger/Spivak references on the relation between quasi-cats and SSet-cats (added that also to quasi-category and to relation between quasi-categories and simplicial categories)

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

      v1, current

    • Created a page for the homonymous cartesian theory.

      v1, current

    • to be !includeed as a floating table of contents into relevant entries

      v1, current

    • Following discussion in some other threads, I thought one should make it explicit and so I created an entry

      Currently this contains some (hopefully) evident remarks of what “dependent linear type theory” reasonably should be at least, namely a hyperdoctrine with values in linear type theories.

      The entry keeps saying “should”. I’d ask readers to please either point to previous proposals for what “linear dependent type theory” is/should be, or criticise or else further expand/refine what hopefully are the obvious definitions.

      This is hopefully uncontroversial and should be regarded an obvious triviality. But it seems it might be one of those hidden trivialities which deserve to be highlighted a bit more. I am getting the impression that there is a big story hiding here.

      Thanks for whatever input you might have.

    • Started a page on lax extranatural transformations. I’ll add more material to here (very) slowly as needed for the page on lax biends.

      v1, current

    • Started a page on lax biends. For now it is just a stub, but I will add more material to here (very) slowly.

      v1, current

    • added pointer to p. 245 of Sets for Mathematics for the idea of

      UX:comodalX X modalX opposite1 unity opposite2 U X \;\colon\; \array{ comodal X &\longrightarrow& X &\longrightarrow& modal X \\ opposite\;1 && unity && opposite\;2 }

      diff, v60, current

    • I gave Sets for Mathematics a category:reference entry and linked to it from ETCS and from set theory, to start with.

      David Corfield kindly alerts me, which I had missed before, that appendix C.1 there has a clear statement of Lawvere’s proposal from 94 of how to think of categorical logic as formalizing objective and subjective logic (to which enty I have now added the relevant quotes).

    • I added to Tim’s stub on cellular homology. Still a bit rough around the edges perhaps. An example (say real projective space) would also be nice.

    • Creating the page, which I intend to use at Lack fibration. If I have not made a mistake, this is a 2-groupoid model of the 2-truncation of the 2-sphere, and I have added remarks of this nature to the page, along with a ’computation’ of π 2(S 2)\pi_{2}\left(S^{2}\right) using this model.

      v1, current