Wikipedia

Wikipedia:WikiProject Mathematics/PlanetMath Exchange/18-XX Category theory; homological algebra

< Wikipedia:WikiProject Mathematics‎ | PlanetMath Exchange

This page provides a list of all articles available at PlanetMath in the following topic:

18-XX Category theory; homological algebra.

This list will be periodically updated. Each entry in the list has three fields:

  1. PM : The first field is the link to the PlanetMath article, along with the article's object ID.
  2. WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
  3. Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status means PM article
N not needed
A adequately covered
C copied
M merged
NC needs copying
NM needs merging
  • Please update the WP and Status fields as appropriate.
  • if the WP field is correct please remove the qualifier "guess".
  • If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
  • If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
  • If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.

Don't forget to include the relevant template if you copy over text or feel like an external link is warranted

  • {{planetmath|id=|title=}} for copied over text
  • {{planetmath reference|id=|title=}} for an external link

See the main page for examples and usage criteria.

One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.

18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Jtwdog 04:37, 28 October 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Just the "tensor product" example might be worth adding. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
Can't find these at all on WP, suggest that they belong in the Abelian category article. — Blotwell 05:31, 3 September 2005 (UTC)[reply]

18-01 Instructional exposition (textbooks, tutorial papers, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A05 Definitions, generalizations edit

Is this really notable? Google turns up only PlanetMath and some incomprehensible nonmathematical weirdness. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
This is already explained vaguely in partially ordered set but the section could be improved. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
Should be an example in functor category, but it deserves its own redirect from arrow category too. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Just a one-line definition, it should be included in the functor article and endofunctor should redirect there. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A10 Graphs, diagram schemes, precategories edit

18A15 Foundations, relations to logic and deductive systems edit

18A20 Epimorphisms, monomorphisms, special classes of morphisms, null morphisms edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A22 Special properties of functors (faithful, full, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A25 Functor categories, comma categories edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A35 Categories admitting limits (complete categories), functors preserving limits, completions edit

18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18A99 Miscellaneous edit

18Axx General theory of categories and functors edit

18B25 Topoi edit

18B30 Categories of topological spaces and continuous mappings edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18B35 Preorders, orders and lattices (viewed as categories) edit

18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18Bxx Special categories edit

18C15 Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18Cxx Categories and theories edit

18D10 Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories edit

18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.) edit

18D35 Structured objects in a category (group objects, etc.) edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18Dxx Categories with structure edit

18E05 Preadditive, additive categories edit

18E10 Exact categories, abelian categories edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Jtwdog 04:47, 28 October 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Jtwdog 04:47, 28 October 2005 (UTC)[reply]

18E25 Derived functors and satellites edit

18E30 Derived categories, triangulated categories edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18E99 Miscellaneous edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18Exx Abelian categories edit

18F10 Grothendieck topologies edit

18F20 Presheaves and sheaves edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18F25 Algebraic $K$-theory and $L$-theory edit

18F30 Grothendieck groups edit

18Fxx Categories and geometry edit

18G05 Projectives and injectives edit

18G10 Resolutions; derived functors edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G15 Ext and Tor, generalizations, Künneth formula edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G20 Homological dimension edit

18G30 Simplicial sets, simplicial objects (in a category) edit

We already have nerve of an open covering—I'm sure this is related somehow. Anyway, merits a link from nerve (disambiguation). — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G35 Chain complexes edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Chain complex needs a whole section about chain maps consisting of the content from the above three articles. Redirects from chain map and chain homotopy would be good too. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G40 Spectral sequences, hypercohomology edit

Also redirect from Leray spectral sequence. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G60 Other (co)homology theories edit

— Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]
Jtwdog 04:56, 28 October 2005 (UTC)[reply]
Jtwdog 04:56, 28 October 2005 (UTC)[reply]
It's a not-especially-short proof. — Blotwell 05:31, 3 September 2005 (UTC)[reply]
— Blotwell 05:31, 3 September 2005 (UTC)[reply]

18G99 Miscellaneous edit

18Gxx Homological algebra edit

Retrieved from "https://en.wikipedia.org/w/index.php?title=Wikipedia:WikiProject_Mathematics/PlanetMath_Exchange/18-XX_Category_theory;_homological_algebra&oldid=1136064985"