{% extends "layout.html" %} {% block title %}API{% endblock %} {% block breadcrumb %}
  • API {% endblock %} {% block hamburger %} {{ macros.singlePageLinks() }} {% endblock %} {% block body %}

    Overview of the API

    It is possible to query the Stacks project yourself through an API. This way you don"t have to scrape the information from the HTML pages and it is consistent with our goal that the content of the Stacks project be as open as possible.

    We can think of several applications:

    If you intend to use this API, please contact us at stacks.project@gmail.com. This interface is not stable, please get in touch to discuss this with us.

    The current API has less features than the previous one. If this causes problems, please get in touch. We intend to improve it over time.

    Structure

    To get the structure of the Stacks project, one can ask for a JSON file at

    https://stacks.math.columbia.edu/data/tag/‹tag›/structure

    example: 0ELT

    For now you need to treat the 9 different parts in the Stacks project separately.

    Statements

    There are two different possibilities to get the statement of a tag:

    1. HTML, without proof:
      https://stacks.math.columbia.edu/data/tag/‹tag›/content/statement

      example: HTML statement for tag 015I

    2. HTML, with proof:
      https://stacks.math.columbia.edu/data/tag/‹tag›/content/full

      example: HTML statement (with proof) for tag 015I

    Because the mathematics is parsed by MathJax, the HTML output contains raw LaTeX math. It is up to the user to handle this (e.g. either use MathJax, or some image generation tool).

    Previously it was also possible to get the TeX code of a tag. This is not possible at the moment, but if necessary we can implement this again. {% endblock %} {% block sidebar %} {{ macros.singlePageLinks() }} {% endblock %}