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 beauty bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions 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 goodwillie-calculus graph graphs gravity 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory kan lie lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monoidal monoidal-category-theory morphism motives motivic-cohomology newpage noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-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).
    • started bracket type, just for completeness, but don’t really have time for it

    • Correct the characterization of nerves of groupoids.

      diff, v54, current

    • The way of writing the adjunction in locale in Prop 4. and Corollary 1. is a bit misleading: When you explicit the adjunction symbol you normally write the domain of the right adjoint on the left and its codomain on the right (e.g., as in reflective subcategory). I didn't do the change myself as I might be missing a convention here.
    • This page should be merged with “essentially algebraic theory”, as the two notions are equivalent. Since the “cartesian theory” has little in it, I’m attempting to redirect to “essentially algebraic theory”. There is also relevant stuff at “cartesian logic”, though I’m not sure how best to organize that and link to it.

      Steve Vickers

      diff, v5, current

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

      v1, current

    • stub for confinement, but nothing much there yet. Just wanted to record the last references there somewhere.

    • Added comment regarding propositional logic as that with no sorts.

      Steve Vickers

      diff, v13, current

    • I came to think that the term geometric type theory for the type theory internal toi sheaf toposes should exists. Thanks to Bas Spitter for pointing out that Steve Vickers had already had the same idea (now linked to at the above entry).

      Also created geometric homotopy type theory in this vein, with some evident comments.

    • Inserted two syntactic characterizations of cartesian theories, and references to the Palmgren-Vickers paper.

      Steve Vickers

      diff, v7, current

    • added some actual text to the category:people entry Roger Penrose

    • created this in part to help answer query from Beppe here on the forum. It is very stubby and needs more work! (I copied and pasted from a preprint so it is not optimised for the Lab.)

      v1, current

    • It would be nice if the entry were a little more explicit about the slicing theorem

      PSh (𝒞 /p)PSh (𝒞) /yp. PSh_\infty(\mathcal{C}_{/p}) \stackrel{\simeq}{\to} PSh_\infty(\mathcal{C})_{/y p} \,.

      (here)

      In the special case that the small \infty-category 𝒞\mathcal{C} happens to be a small \infty-groupoid and that pp is constant on an object X𝒞X \in \mathcal{C}, it ought to be true that an explicit form of this equivalence is given in semi-HoTT notation by

      ((cγX)(γ))(ccγX(γ) cγX*). \left( (c \overset{\gamma}{\to}X) \;\mapsto\; \mathcal{F}(\gamma) \right) \;\mapsto\; \left( c \;\mapsto\; \array{ \underset{c \underset{\gamma}{\to}X}{\sum} \mathcal{F}(\gamma) \\ \downarrow \\ \underset{c \underset{\gamma}{\to}X}{\sum} \ast } \right) \,.

      This must be an easy theorem in HoTT?

      diff, v18, current

    • Created page, mainly to record my understanding of the issue involving strong normalization, or lack thereof, for explicit substitutions.

      v1, current

    • I have added links to a new page on Grace Orzech’s notion of Category of Interest, and a new reference to Phil Higgins paper on Omega groups.

      diff, v13, current

    • am starting something. Nothing to be seen yet, but need to save for the moment

      v1, current

    • added to supergeometry a link to the recent talk

      • Mikhail Kapranov, Categorification of supersymmetry and stable homotopy groups of spheres (video)
    • a little table for the purpose of !including it as pointer to related entries in entries concerning cohomotopy

      v1, current

    • am starting something here. For the moment I just want to record today’s

      • Daniel Grady, Cobordisms of global quotient orbifolds and an equivariant Pontrjagin-Thom construction (arXiv:1811.08794)

      eventually more references ought to be added

      v1, current