Not signed in (Sign In)

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 comma 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 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-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.

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).
    • I have started a table of contents representation theory - contents (based on the link list at representation theory) and started adding it as a floating table of contents to relevant entries.

      But I ran out of steam before being entirely satisfied with the result.

    • In case you see the activity in the logs and are wondering, I should say that I have been working on a new entry higher geometric quantization (that used to redirect to n-plectic infinity-groupoid).

      I have started adding some survey-tables. But not done yet with the entry as a whole.

    • I felt it was time for another table: homotopy-homology-cohomology

      The structure is just a first attempt, begun in a brief moment of leisure. I’ll try to think about how to improve on it. Let me know what you think.

      I have started to include this into relevant entries.

    • started an entry associated infinity-bundle

      in order to summarize the thesis by Matthias Wendt on associated \infty-bundles in arbitrary (,1)(\infty,1)-toposes, generalizing the classical old results by Stasheff and May from Grpd\infty Grpd.

      Also added some remarks on the relation to the discussion at principal infinity-bundle. Hopefully to be continued tomorrow.

    • I am now going through the section Structures in a cohesive oo-topos and polish and expand the discussions there.

      First thing I went through is the subsection Geometric homotopy and Galois theory. It gives the definition of the fundamental \infty-groupoid functor, a proposition on its consistency (which we had mentioned elsewhere), the definition of locally constant \infty-stacks in the sense of DiscAut(F)Disc Aut(F)-principal \infty-bundles, and then the central theorem of Galois theory, proven by applying the \infty-Yoneda lemma iteratively.

      (This is material appearing in one form or other in other entries and at this point does not invoke the \infty-locality, but I want to have here all in one place a nice comprehensive discussion of the whole situation in a cohesive \infty-topos.)

    • Hi guys,

      I suppressed the reference to my course on global analytic geometry. These notes were not well written enough and i put them into the basket. Please, don't pull back the reference.

      Cheers,

      Fred
    • I created minimal fibration which could be merged with minimal Kan fibration. The idea-section says that this notion is needed to give a well defined notion of n-category. However there are other applications which I didn’t mention.

    • I made redirects to Online Resources, namely the math blogs, online resources. Before we were complaining to Online Resources for many reasons including that it is not of all resources but only of blogs and wikis in relevant areas. No list of main institutes and archives like arXiv, numdam, jstor etc. there. As the list is long, and hard to scroll, I suggest not to add those to the current page. I think we should rename the current page to math blogs eventually and keep Online Resources (especially because of John's reference in his AMS Notices paper) as a redirect and create new pages for other stuff as well as organize the whole system around a top page math resources which will link to math blogs, math archives, math institutions (and maybe more) as well as very comprehensive central AMS-kept list of math resources.

      I know it is not only about math here, but math is a short abbreviation for page name.

      Up to now I have realized a large part of an above program, see math archives, math institutions and the supposed top resource page math resources, except that I was cautious not to rename the page Online Resources as people may disagree even with keeping the old redirect and because it may be tricky with the cache bug, while the page is of central importance. I think it would be useful if the pages like math institutions and the top page math resources stay not much longer than they are now, to have quick links and nice readability/visibility. This is the most effective organization, I think. For smaller institutions societies and alternative small lists of resources, it is better to go via links at AMS, EMS and IMU which are already efefctively linked. We can not do better there than those societies do, apart from listing few extra main resources of our main interest. We can have a separate page just for categories or some other things. But the list of blogs is of different character, unlike going to AMS page or jstor, one does not need to go that quickly through list of less-organized stuff like blogs. So the blog list math blogs should grow indefinitely...I have chosen plural as before in these pages, without singular redirect at the moment.

    • Added the reference

      Maria Emilia Maietti, Modular correspondence between dependent type theories and categories including pretopoi and topoi, Math. Struct. in Comp. Science (2005), vol. 15, pp. 1089–1149

      to relation between type theory and category theory

    • I have created energy ex nihilo. Take that, Hermann von Helmholtz!

    • I may have written something at Kervaire invariant, but it is at best a stub for the moment

    • Some reorganization and added material at type theory. In particular, I added some of the basic syntax of type theories, and also some comments about extensional vs. intensional type theories.

    • We already have the entry predicate calculus (or first-order logic); I have created separate stub first-order theory, almost empty now, and which could just have been redirect to first-order logic, though I think eventually it would be good to have them separate, as under first-order theories version one could list lots of standard examples of first-order theories, what does not really fit into predicate logic entry, where one should really deal more with predicate calculus. PLus one should do other views of first-order theories.

    • Stub constructible set, not yet precise (e.g. the universe is not a Boolean algebra as it is a proper class), but gives idea what we could work on in the entry.

    • New entry structure but the nnLab is down so I save here the final version of editing, which is probably lost in nnLab:

      The concept of a structure is formulated as the basic object of mathematics in the work of Bourbaki.

      In model theory, a structure of a language LL is the same as model of LL with empty set of extra axioms. Given a first-order language LL, which consists of symbols (variable symbols, constant symbols, function symbols and relation symbols including ε\epsilon) and quantifiers; a structure for LL, or LL-structure is a set MM with an interpretation for symbols:

      • if RLR\in L is an nn-ary relation symbol, then its interpretation R MM nR^M\subset M^n

      • if fLf\in L is an nn-ary function symbol, then f M:M nMf^M:M^n\to M is a function

      • if cLc\in L is a constant symbol, then c MMc^M\in M

      Interpretation for an LL-structure inductively defines an interpretation for well-formed formulas in LL. We say that a sentence ϕL\phi\in L is true in MM if ϕ M\phi^M is true. Given a theory (L,T)(L,T), which is a language LL together with a given set TT of sentences in LL, the interpretation in a structure MM makes those sentences true or false; if all the sentences in TT are true in MM we say that MM is a model of (L,T)(L,T).

      Some special cases include algebraic structures, which is usually defined as a structure for a first order language with equality and ε\epsilon-relation both with the standard interpretation, no other relation symbols and whose function symbols are interpreted as operations of various arity. This is a bit more general than an algebraic theory as in the latter, one needs to have free algebras so for example fields do not form an algebraic theory but are the algebraic structures for the theory of fields.

      In category theory we may talk about functor forgetting structure (formalizing an intuitive, related and in a way more general sense), see

      !redirects structures

    • I added in the definition of algebraic group the requirement ”field” into ”algebraically closed field”. Alternatively one could omit ”field” in the definition at all since this is implicit in ”variety”.

    • I recently came across some interesting ideas at inperc.com/wiki/index.php?title=Calculus_is_topology which might be incorporable into the nLab wiki -- although I'm not sure exactly where.
    • I took some notes during my reading of (Chapters I-III of)

      • Michel Demazure, lectures on p-divisible groups web

      In the recent days I inserted parts of these notes in different nlab entries. Maybe it is of use to somebody to have all of these notes in wiki-form. So I created lectures on p-divisible groups containing the skeleton of the contents. I will fill in the parts I have written so far (roughly chapters I and II) tomorrow. Of course anyone should feel free to rewrite or complete the related entries. Currently the page names contain the chapter-numbering from the original text - I think this numbering can be discarded at the time the linked page contains more information than the original text. If there is some nlab policy on wiki-ed texts suggesting otherwise, please let me know.

    • I created locally bounded category with basic results from papers of Kelly and Lack. My motivation (unfortunately not reflected in the current stub) is to provide a reference for convergence conditions for the free monad construction.

      On this topic, does anyone know whether there are reasonable conditions under which the dual “free comonad” construction would converge? I’m concerned by the result at locally presentable category (new to me; does anyone have a reference?) which says that the opposite of a locally presentable category is locally presentable only if the category is a poset.

    • I have expanded theory adding more basics in classical syntactic approach. I added a new subsection

      Set-theoretic models for a first-order theory in syntactic approach

      The basic concept is of a structure for a first-order language LL: a set MM together with an interpretation of LL in MM. A theory is specified by a language and a set of sentences in LL. An LL-structure MM is a model of TT if for every sentence ϕ\phi in TT, its interpretation in MM, ϕ M\phi^M is true (“ϕ\phi holds in MM”). We say that TT is consistent or satisfiable (relative to the universe in which we do model theory) if there exist at least one model for TT (in our universe). Two theories, T 1T_1, T 2T_2 are said to be equivalent if they have the same models.

      Given a class KK of structures for LL, there is a theory Th(K)Th(K) consisting of all sentences in LL which hold in every structure from KK. Two structures MM and NN are elementary equivalent (sometimes written by equality M=NM=N, sometimes said “elementarily equivalent”) if Th(M)=Th(N)Th(M)=Th(N), i.e. if they satisfy the same sentences in LL. Any set of sentences which is equivalent to Th(K)Th(K) is called a set of axioms of KK. A theory is said to be finitely axiomatizable if there exist a finite set of axioms for KK.

      A theory is said to be complete if it is equivalent to Th(M)Th(M) for some structure MM.

    • I have started an entry analytic space with material on Berkovich’s non-rigid analytic geometry.

      I don’t really know this subject and have been adding material to the entry as I read about it and to the extent that I correctly understood it. Experts are most welcome to help out.

      As indicated here, I am motivated by the following: Berkovich’s local contractibility result suggests that the \infty-topos of \infty-sheaves over the site of pp-adic analytic spaces might be cohesive.

      The idea would be that his result implies (if it does) that the site (category with coverage) of contractible pp-adic afine spaces is a dense subsite of that of all pp-adic spaces. Since it should be an infinity-cohesive site that would imply the claim.

      But despite looking through Berkovich’s writings for a little bit today, I am still not sure if he just shows that the underlying topological space of a pp-adic anayltic space is locally contractible, or if one may indeed deduce that they are locally contractible with respect to étale homotopy, as would be needed for the above conclusion.

    • Stub for Lascar group, the analogue of Galois group for first order theories.

    • created stubs for

      This is not supposed to be satisfactory content. I just wanted these pages to exist right now, so that links to them work.

    • Uday has added :

      Mac Lane, VII.4, only requires a monoidal category to define actions. – at action.

      This takes up an old point that I made but never felt up to following up.

    • at locally cartesian closed category I have added a Properties-section Equivalent characterizations with details on how the slice-wise internal hom and the dependent product determine each other.

      This is intentionally written in, supposedly pedagogical, great detail, since I need it for certain discussion purposes. But looking back at it now, if you say it is too much notational detail, I will understand that :-). But I think it’s still readable.

    • I've added a few examples to stack semantics illustrating how it can be used to talk about locally internal categories (in the sense of the appendix of Johnstone's Topos Theory).
    • I added the characterization of a divisible abelian group as an injective object in the category of abelian groups to divisible group.

    • I changed quasicompact to quasicompact morphism though it is also about quasicompact schemes etc. as before and moved the query box here:

      Mike: To accord with terminological conventions, this page should probably be either “quasicompact space” or “quasicompact object.”

      Zoran Skoda: I do not know what are the conventions, but it was intentional to look both at quasicompact spaces and quasicompact morphisms (which are according to the dominant point of view in algebraic geometry, more important and basic notion); and aside also for q. objects. Personally I do not understand English-language preference for noun phrases. If one is to choose, quasicompact morphism is the choice.

      Toby: By the «Each definition gets its own page.» convention, I'm not even sure that this shouldn't just redirect to compact space or compact object. My impression is that assuming that ’compact’ implies Hausdorff is either (like assuming that ’ring’ implies commutative) restricted to fields where it's a common assumption or to languages (I'm thinking mostly of Bourbaki in French here) other than English. On the other hand, if it's used that way by English-writing algebraic geometers, then I would seem to be wrong (since algebraic geometers often have non-Hausdorff spaces).

      Zoran Skoda: Convention that ’compact’ includes Hausdorff is very common also among people working predominantly on nice spaces, particularly differetial geometers, differential topologists, people studying metric spaces and so on. But for “paracompact” the situation is more tricky: in literature, even on general topology there are also competing definitions, which are all equivalent for Hausdorff spaces. All my life I bounce in such people; my own education does not assume Hausdorffness, unless it is said in the form “compactum”. Algebraic geometers always say quasi-compact, it has nothing to do with language; but as I say for algebraic geometers the basic notion is quasi-compact. The emphasis of this entry is on the terminology and morphisms (what should be expanded on: I still did not write the deifnitions of quasi-compact MORPHISM in various setups); so redirection won’t work I think. Plus although from my point of view saying quasicompact and compact is the same for spaces; one would never say compact for the scheme; scheme is said to be quasicompact if its underlying space is (quasi)compact.
      There is an additional reason for that: one can consider a nonsingular variety over complexes which is quasicompact, and which itself is not compact in complex topology (under GAGA). But in the same considerations it is often useful to have some arguments in Zariski and some in complex topology; one of the reasons for word quasicompact is that sometimes we have the “same” example which we are used to think as of noncompact space but it is (quasi)compact in Zariski topology. When an algebraic geometer thinks of the difference between compact and quasicompact for complex varieties he has that in mind; in more general setups about Hausdorff vs nonHausdorff. In the same time, when talking about objects in derived categories of qcoh sheaves, even algebaric geometers use moreoften term compact than quasicompact; thus redirecting to compact object and saying this is for algebraic geometry won’t do for all the 3 notions in this entry (on the contrary side, nobody says compact morphism as far as I could confirm, but quasicompact morphism).

      Toby: Ah, so when you've got both Zariski and complex topologies around, you can easily distinguish the former by the prefix ’quasi’; that's cute. Anyway, perhaps we'll move this to quasicompact morphism if you write mostly about that, but I won't try to move anything for now.

    • I would like to understand what kind of theory Gamma is, in the sense of doctrines.
      This is not included on the Gamma-space page, and i would like something about
      that to be here, so this discussion is making a proposition in this sense.

      I mean that Delta maclane may be seen as the algebraic theory of monoids (category
      with finite products opposite to that of finitely generated free monoids), and its
      models in sets are monoids, and in categories are monoidal categories (pseudo-functors).

      For Gamma, it is not an algebraic theory, since n is not the product of n times 1, but
      it seems to me something like a monoidal theory. I would tend to define Gamma of
      Segal as a kind of theory of commutative monoids in monoidal categories, obtained
      by adding to the operations in Delta (monoidal structure) additional symmetry data.

      For example, if i take a monoidal functor from Gamma to sets, i get a commutative
      monoid, whose underlying monoid is the model of Delta (algebraic theory), but
      the theory Gamma seems monoidal, not algebraic in the sense of Lawvere.

      These notions are important to better understand higher categorical generalizations
      of monoidal and symmetric monoidal categories.

      Am i correct here? May we add these theoretical/doctrinal considerations to the Gamma-spaces
      page to clarify where Gamma is coming from, from a conceptual/theoretical point of view?
    • While the lab is down, I’ll collect some stuff here, also to discuss it.

      So I am trying to identify in the literature a precise and coherent statement of the supposed adjunction / partial equivalence between “type theories” and “categories”.

      In section 8.4.C of Practical Foundations is announced the following, which would be part of that statement:

      Unfortunately the online version of the book breaks off right after this announcement, and I don’t have the paper version available at the moment.

      Also, that section 8.4.C starts with the word “Conversely”. But where is the converse statement, actually?

    • at DHR superselection theory I have added the argument (here) for why every DHR representation indeed comes from a net-endomorphism, assuming Haag duality and that the net takes values in vN algebras.