I love stacks — me too

Мем с парой из фильма «500 дней лета», которая говорит: «I love stacks» — «Я люблю стеки», «Me too» — «Я тоже». В верхней части кажется, что герои просто нашли общий интерес, но нижняя часть шутки раскрывает разные значения слова stack. Для одного героя стек — это структура данных с принципом LIFO (Last In, First Out), где последний добавленный элемент извлекается первым. Для другого stack — математическое понятие из теории категорий: расслоенная категория над сайтом, определённая через несколько формальных условий. Это шутка о неожиданно несовместимых смыслах одного технического термина.

I love stacks. Me too. Definition 8.4.1. Let C be a site. A stack over C is a category p : S → C over C which satisfies the following conditions: (1) p : S → C is a fibred category, see Categories, Definition 4.33.5, (2) for any U ∈ Ob(C) and any x, y ∈ S_U the presheaf Mor(x, y) (see Definition 8.2.2) is a sheaf on the site C/U, and (3) for any covering U = {fᵢ : Uᵢ → U}ᵢ∈I of the site C, any descent datum in S relative to U is effective. A stack is a data structure that follows the LIFO principle (Last In, First Out). push(x): // add element to the top top.push(x) pop(): // remove element from the top return top.pop() peek(): // get top element return top.peek() isEmpty(): // check if the stack is empty return top.isEmpty() LOVE WILL TEAR US APART