Эта страница ни разу не скажет, какой он. Она покажет только стрелки.
«Сегодня была только лекция Городенцева, рассказывал про барицентрические координаты, площадь треугольника, ввёл прямые. Я таки ещё несколько раз обсудил барицентр и переспросил Городенцева, выполнил упражнения про него.»
«Изложение Городенцева в книге его это просто трэш какой-то. Выкладок нет, потому что они очевидны.»
«Такое ощущение, что это два разных курса. Один по ангему пролетарскому, а другой для извращённых математиков.»
«Пытался доказать теорему Дезарга, целый день потратил и не придумал тру проективного доказательства.»
Почти семь лет одной перепиской. Изнутри такое не видно.
«Я вот в геоме вообще не шарю, как ты помнишь, а хочется зашарить. С другой стороны, если смотреть на геому, то там я нихера не понимаю.»
«Постоянно переходы от V к V* и kn, а ты не понимаешь, где какой изоморфизм использован. У меня в голове типы не сходятся и компайл эррор перманентный.»
«По Йонеде этого достаточно, чтобы задать P(V) в исходной категории.»
«Почему верна формула Стокса? А скорее, почему она должна быть верна.»
Кэли и Сальмон, 1849. Клебш в 1871 году предъявил поверхность, на которой все двадцать семь вещественны, и потому их можно просто увидеть.
Диагональная кубика Клебша, в . Луч пересекает её в корнях кубического уравнения: поверхность найдена точно, по Кардано, без приближений. Десять точек Экарта, где три прямые сходятся в одну: это максимум для гладкой кубики.
«Пытаюсь компилятору доказать, шо я не жираф.»
def foldLeftTail[B[_], i <: Nat, step <: Nat, i + step <: Nat, i * n <: Nat]
(zero: B[_0])(f: (List[A], B[i]) => B[i + step])
(implicit sum: Sum.Aux[i, step, i + step],
product: Prod.Aux[step, n, i * n]
): B[i * n] = {
Ответ пришёл сразу: «Непонятно ничего!!»
«Hom(X, P(V)) = одномерные векторные подрасслоения в тривиальном расслоении X × V → X. То есть буквально согласованный по точкам X выбор прямых.»
«Аль-Хорезми понял, что можно сокращать с двух сторон, решая задачи. Ньютон создал дифференциальное исчисление в попытках описать физическую реальность. Пуанкаре, Эйленберг, Маклейн — алгебраическую топологию, изучая триангуляции пространств. Каждый из этих этапов изменил совершенно всю математику.»
«Хорошие примеры это противоположность случайности. Случайные примеры в математике просто непостижимы и ничего нового не добавляют к знанию.»
«По Йонеде этого достаточно, чтобы задать P(V) в исходной категории.»Влад, 22 ноября 2024
// F : C^op → Set, предпучок
trait Yoneda[F[_], A]:
def run[B](f: B => A): F[B]
def from[F[_], A](y: Yoneda[F, A]): F[A] =
y.run(identity)Объект полностью определяется тем, что в него отображается. Ты — это всё, чем ты оказался для других.
22 августа. Стрелок будет ещё.