Выставить диагональ фундамента: Как рассчитать и вывести диагональ фундамента

как правильно измерить и выставить диагональ

Содержание

  1. Зачем нужна разметка
  2. Разметка фундамента своими руками
    1. Под дом с прямыми углами
    2. Способ 1 – по формуле
    3. Способ 2 – проверка диагоналей египетским треугольником
    4. Разметка эркера
    5. Разметка сложной формы
  3. Разметка разных типов фундамента
    1. Ленточного
    2. Столбчатого
    3. Плитного
  4. Заключение

Устройство фундамента составляет треть стоимости коробки малоэтажного здания, а допущенные ошибки сложно, либо невозможно исправить, когда дом уже отстроен. Чтобы вся работа не пошла насмарку, нужно не просто знать, как вывести диагональ фундамента и разметить сложные по форме участки, но и иметь на руках проект, составленный на основе анализа грунта. Тем не менее, многие застройщики решаются на самостоятельное «плавание», и мы надеемся, что представленная здесь информация будет им полезна.

Существуют законодательно определённые нормы, регламентирующие расстояния между строениями, межевыми заборами, своими и соседскими постройками, дорогами и проездами.

Их нужно соблюдать, а сделать это не получится, если не привязать фундамент к местности. Так же с помощью разметки зданию задаются точные размеры — а самое главное, можно проконтролировать прямоугольность углов до начала строительства. Если здание имеет в плане правильную форму (квадрат, прямоугольник), сделать это проще всего путём сравнения длин диагоналей. Если они одинаковые – значит, и разметка выполнена правильно.

Даже чтобы просто снять плодородный слой грунта, нужна разметка

Приступать к разметке фундамента можно только когда участок подготовлен к строительству: с него убран мусор, выкорчеваны кусты и пни, снят слой плодородной почвы. При небольшом масштабе стройки — тем более, когда возводится не дом, а гараж или баня, выполнить все работы можно самостоятельно.

Для разметки нужно иметь приготовить рулетку, угольник, шпагат, маркер и колышки. Если будет изготавливаться обноска, что очень удобно при устройстве плит и свайных полей, нужно запастись обрезной доской 100х40 мм и брусками 40х50 мм.

Топорик, которым заостряются и забиваются в грунт колья, тоже должен быть под рукой.

Частный дом, тем более, строящийся без проекта, почти всегда имеет прямоугольную конфигурацию, поэтому разметка выполняется максимально просто. Прежде всего, фундамент нужно привязать к ориентиру (соседнему дому, например, или забору), опираясь на существующие нормы.

  • Согласно правилам, от самого выступающего элемента здания до забора должно быть не менее 3-х метров, хотя, конечно, далеко не все выделяемые под ИЖС участки, позволяют соблюсти такое требование.
  • Начинается разметка с определения первой линии фундамента, которая будет параллельной вашему ориентиру. Отступаете от него минимум 3,5 м – 50 см нужно для того, чтобы установить колышки не прямо на углах будущего фундамента, а чуть дальше — чтобы не мешали производить земляные работы.
  • Если со всех сторон отступ будет одинаковым, пересечения натянутых шнуров и обозначат углы. Например, нам надо разметить прямоугольник 6,5х 8,5 м. Прочертив линию, параллельную забору, откладываете на ней рулеткой длинную сторону фундамента и, заложив необходимые отступы (2 по 0,5 м), забиваете колышки и натягиваете между ними шнур.
  • Получится отрезок длиной 9,5 м. Отмерьте прямо на шнуре с двух сторон по полметра, и поставьте метки маркером. Через эти метки, пользуясь угольником, проведите две перпендикулярные линии, на которых будут откладываться короткие стороны фундамента.
  • Если колышки ставятся с отступом, по коротким сторонам между ними будет по 7,5. Точно так же намечаете маркером на шнурах углы фундамента, и проводите через эти точки последнюю, четвёртую линию.

Принцип разметки прямоугольного фундамента

Получив контур фундамента, останется проверить геометрическую правильность сформированного прямоугольника, и сделать это можно разными способами.

Самые популярные проекты серии FH:

Проект FH-90 Windows

Общая площадь:

90 м²

Подробнее

Проект FH-114 Optimus

Общая площадь:

114 м²

Подробнее

Проект дома FH-115 Status

Общая площадь:

115 м²

Подробнее

Все мы знаем из школьной геометрии про теорему Пифагора, согласно которой квадрат гипотенузы прямоугольного треугольника равен сумме квадратов катетов.

Катетами здесь послужат стороны фундамента, а гипотенузой и будет проведённая из угла в угол диагональ.

Разметка по формуле

Чтобы самостоятельно не заниматься вычислениями, проще всего воспользоваться онлайн-калькулятором расчёта диагонали. Открыв один из таких сервисов, мы ввели в него длину и ширину дома 6500 на 8500 мм, и получили результат: 10700,4 мм.

Результат расчёта онлайн-калькулятора

Проверить прямоугольность углов можно ещё проще – используя правило египетского треугольника, в котором стороны имеют размеры 3, 4 и 5 м. Отложим две из этих величин на сторонах фундамента, и, прочертив между ними диагональ, получим третью величину. Произвести такую проверку нужно на всех четырёх углах.

Что такое египетский треугольник

Мнение эксперта

Виталий Кудряшов

строитель, начинающий автор

Задать вопрос

Обратите внимание: После того, как диагонали будут проверены, и вы убедитесь в правильности разметки, в тех местах, где маркерные метки обозначают углы фундамента, можно забить отрезки арматуры. Нужно это для подстраховки, дабы не пришлось делать всю работу заново – вдруг в процессе работ обноска будет нечаянно сбита.

Выступающие части дома, будь то веранда, терраса или эркер, размечаются дополнительно. Сложность разметки эркера состоит в том, что он имеет не прямоугольную, а трапецеидальную, многогранную или полукруглую форму. С трапецией дело обстоит проще всего.

Размер выпуклости эркера известен, и чтобы обозначить её линию, требуемое расстояние нужно отложить на боковых шнурах. Соединив метки, вы получите линию передней стенки эркера. По этой линии наносится длина выступающей части здания, и забиваются колышки. На шпагате вдоль той стены, к которой примыкает эркер, отмеряете его отступ от угла дома и длину проёма, и тоже намечаете эти точки колышками. Натянув между всеми кольями шпагат, вы и получите очертания эркера.

В ситуации с круглым эркером всё делается приблизительно так же, только ещё проще. Отметив на шнуре той стены, к которой примыкает эркер его ширину, находите середину. Это будет центр окружности, в который и надо вбить колышек. К нему привязывается бечёвка с одним свободным концом, длина которого равна радиусу окружности. Привязав к этому концу гвоздь или кусок арматуры, вы получите импровизированный циркуль, которым прямо на грунте можно начертить безупречную окружность.

Дом в плане может представлять собой не только квадрат или прямоугольник, но и более сложную форму. Он может быть Г- или П-образным, иметь с несколько смещённых относительно друг друга фасадов. В таком случае разметка несколько усложняется, но в основе всегда лежит прямоугольник. Поэтому сначала должен быть определён общий контур – большой прямоугольник. Его стороны проходят по самым выступающим частям здания, а проверка диагоналей и углов производится точно так же, как было описано выше. Любая сложная фигура состоит из нескольких, более мелких прямоугольников. Чтобы их обозначить, внутри контура натягиваются параллельные шпагаты — за счёт их пересечения и будут формироваться внутренние углы дома.

Мало правильно выполнить разметку фундамента в плане — нужно осуществить ещё вертикальную планировку. Это наиболее важный элемент подготовки территории, особенно когда строительство ведётся на неровном рельефе. Цель этого действа заключается в том, чтобы привести естественный ландшафт в наиболее благоприятное для возведения здания состояние.

Делается это путём срезки и подсыпки грунта, смягчения или полного устранения уклона, который может быть не только спокойным или слабопересечённым, но и неблагоприятным для строительства. Вертикальная планировка позволяет изменить микрорельеф так, чтобы затраты на данный этап работ не превышали нормативные 3%, и можно было по максимуму сохранить естественную плотность грунта.

Самое лучшее и выгодное со всех сторон решение – это поддержание нулевого баланса земляных масс, когда объём вынутого грунта равен объёму засыпанного. Нарушение этого баланса является удорожающим фактором строительства, поэтому очень важно правильно продумать схему заглубления фундамента.

Что лучше: срезать часть грунта на склоне, чтобы сделать ровную площадку под дом, или предусмотреть ступенчатый фундамент, решать должен проектировщик. Что же касается разметки, то она в таких случаях выполняется только с помощью геодезических приборов. Строить на холме вообще сложно, но делать это самостоятельно, не имея элементарных знаний в области строительства, и вовсе безрассудно. На ровных участках дело обстоит проще, но нужно принимать во внимание некоторые нюансы.

Фундаменты ленточного типа, особенно заложенные в грунт неглубоко, являются самыми распространёнными в частном строительстве. Лента представляет собой систему соединённых между собой балок, закладываемых не только под все наружные стены, но и под внутренние несущие. В зависимости от размеров дома, кольцо периметра может пересекать как всего одна балка, так и несколько в разных направлениях, поэтому просто четырьмя колышками разметку такого фундамента выполнить невозможно.

Учитывая, что разметить нужно не только внешний контур будущей конструкции, но и внутренний, ведь лента имеет определённую толщину, разметку лучше производить не одинарными колышками, а двойными, соединёнными перекладиной.

Такая обноска называется скамеечной, и она очень удобна именно для разметки ленточных фундаментов. Сколько у фундамента стенок, столько пар скамеечек и должно быть установлено.

Разметка ленточного фундамента обноской

Мнение эксперта
Виталий Кудряшов

строитель, начинающий автор

Задать вопрос

Если предусмотреть достаточную длину перекладины скамеечки, на ней можно сразу отметить не только контуры ленты, но и контуры траншей, которые по ширине могут не совпадать с размером монолита. Совпадают они только тогда, когда строительство ведётся на плотных и прочных фундаментах безопалубочным способом – то есть, бетон заливается прямо в нарезанные в грунте щели. В остальных случаях траншея шире фундамента на 50-60 см, чтобы рабочим было удобно перемещаться в процессе установки опалубки.

Разметка точечных фундаментов (свай, столбов) осуществляется похожим образом, но в два этапа: сначала под свайное поле, а потом под ростверк. При разметке свай или столбов тоже используют обноску, только створную. Скамеечки здесь более узкие, предназначенные для крепления лишь одного шнура – по оси фундамента, проходящей через центры опор.

Самые популярные проекты серии FH:

Проект Windows Villa FH-90WV

Общая площадь:

90 м²

Подробнее

Проект Master Dom FH-144 c мастер-спальней

Общая площадь:

144 м²

Подробнее

Проект FH-150 Full HDom

Общая площадь:

150 м²

Подробнее

В местах пересечения этих осей и будут монтироваться сваи. Когда верх свай располагается близко к поверхности, отметку с точки пересечения шнуров переносят на грунт отвесом. Если же сваи монтируются в котловане, центры опор переносятся на его дно с помощью геодезического инструмента, где и закрепляют простыми колышками.

Мнение эксперта
Виталий Кудряшов

строитель, начинающий автор

Задать вопрос

Когда ростверк выполняется с опиранием на грунт, с небольшим заглублением или незначительным поднятием выше уровня грунта, обноски лучше всего применять двойные — те же скамеечки, только с двумя перекладинами. На нижней перекладине натягиваются шнуры разметки свайного поля, а на верхней формируется контур ростверка и верх её опалубки.

Фундаментная плита, имеющая форму прямоугольника, наиболее проста в разметке и её контур формируется всего одним рядом шнура. Однако, в зависимости от конструкции плиты, размечать приходится ещё и такие зоны:

  1. места расположения рёбер жёсткости;
  2. стенки заливаемого сверху ростверка;
  3. контуры подбетонной плиты, площадь которой немного больше;
  4. контуры арматурного каркаса с учётом защитной оболочки бетона, и зоны его усиления.

Плита может быть и такой

Чтобы была возможность фиксировать все эти отметки, вокруг котлована плитного фундамента обычно устанавливают сплошную обноску. Это уже не отдельные скамеечки, и ряд деревянных столбиков вдоль бровки земляного корыта, зашитых по кольцу обрезной доской 40х100 мм. Для зданий с правильной геометрической формой это очень удобно, и позволяет проставлять любые отметки без демонтажа и замены кольев.

Всё гениальное просто – сплошная обноска

Фундамент является самой важной частью здания, от его надёжности зависит срок службы здания в целом. Немалую роль здесь играет геометрическая точность конструкции, достичь которой невозможно без правильной разметки, поэтому к данному этапу работ нужно отнестись со всей ответственностью. Не стоит экономить там, где это совершенно неуместно — ведь давно подмечено, платить дважды приходится только скупому.

Разметка фундамента с помощью лазерного нивелира или уровня

Содержание

  1. Подготовительные работы
  2. Готовим прибор к работе
  3. Разметка с помощью прибора
  4. Выбираем нивелир
  5. Требования, предъявляемые к эксплуатации
  6. Применение лазерного устройства
  7. Заключение

Строительству любого сооружения предшествует разработка проекта. Как только необходимые расчеты и чертежи выполнены, разрешается начинать практические мероприятия – размечать фундаментное основание. Этот рабочий этап считается важным, потому что от правильности его выполнения будет зависеть ровность угловых участков и геометрия несущих стен. Чтобы точно нанести очертания, выполняется разметка фундамента с помощью лазерного нивелира.

Подготовительные работы

До того, как разметить фундамент лазерным уровнем, следует провести подготовку, чтобы участок под строительство представлял ровную площадку. Для этого:

  • удаляется вся растительность;
  • cнимается верхний слой почвы;
  • срезаются холмики и засыпаются ямки.

Выравнивать территорию лучше всего с помощью нивелира. Некоторые умельцы используют угольник и рейку трехметровой длины, с помощью которых проверяют качество выполненных работ.

Готовим прибор к работе

Чтобы с помощью оптического нивелира правильно выполнить разметку, следует проверить готовность прибора к работе. Для этого:

  • удостоверьтесь, что аккумуляторная батарея заряжена, либо вставьте элементы питания;
  • по линии луча препятствия исключаются, так как малейшие преломления создают погрешности;
  • для точной работы нивелир следует установить на специальную треногу, разместить ровно и отцентрировать. К самовыравнивающимся устройствам это не относится.

Кроме самого прибора, вам потребуются размеченная рейка, приемник для луча, облегчающий работу в солнечную погоду, специальные очки.

Разметка с помощью прибора

Чаще всего разметка фундамента выполняется с помощью лазерного уровня. Алгоритм действий простой:

  • dбиваем колышек;
  • на верхней его части фиксируем прибор;
  • с помощью лазерного уровня вымеряется необходимое расстояние, забивается второй колышек;
  • лазером выводится угол в девяносто градусов, чтобы разметить поперечные оси, и теперь можно установить еще пару колышков;
  • по четырем ориентирам натягиваем веревку, чтобы обозначить периметр;
  • аналогично размечаются межкомнатные перегородки.

Колышки можно использовать в качестве ориентиров под установку обноски. В этом случае нивелир поможет сверить горизонтальное расположение стоек, а периметр объекта переносится на место рулеткой и веревками.

А как еще можно разметить фундамент лазерным нивелиром? Колышки выставляем вручную, измеряя стороны геометрическим способом. Ориентированность их и ровность угловых участков проверяем с помощью ротационного прибора.

Тренога выставляется на разрешенном по инструкции удалении от всех контрольных точек, включается лазерный сигнал, и вы направляетесь с рейкой и улавливателем луча на одну из точек. Выставив рейку вертикально, делаете отметку, повторив аналогичные действия на остальных точках. Остается только сверить данные разметок.

Многие не знают, как пользоваться лазерным нивелиром при разметке фундамента. Все просто – недорогой прибор имеет ручную регулировку, а современные модели оснащены автоматическим самовыравниванием.

Разметка фундамента нивелиром требует наличия некоторых навыков, но любой желающий способен освоить данный инструмент самостоятельно, изучив руководство по его эксплуатации.

Учтите, что для очередного десятка метров лазер выдает трехмиллиметровую погрешность. Если сравнить с рулеткой, то на аналогичном расстоянии она обманывает на два – три сантиметра.

Выбираем нивелир

Приобретая себе устройство, изучите его тип и выполняемые функции. Окончательный выбор делается по следующим критериям:

  • показатель точности. Для бытового применения достаточно значения 1.0 – 3.0 на десяток метров длины;
  • lлина линии. Для строительства крупных объектов луч должен «стрелять» на сто метров и более, под частное строительство достаточно его длины в два – три десятка метров;
  • цветовой оттенок лучевого сигнала. Встречаются приборы с красным и зеленым лучом. Первый вариант более распространенный, но для удобства работы рекомендуется использовать специальные очки, чтобы различать направление лазера;
  • уровень мощности;
  • вариант юстировки. Доступны приборы с ручной регулировкой, но лучше приобрести устройство, способное выравнивать линии в автоматическом режиме. Его необходимо выставить на контрольной точке, включить, и нивелир сам настроится на работу, подав звуковой сигнал о готовности. Правда, стоимость такого устройства существенно отличается от ручного варианта;
  • емкость аккумуляторной батареи определяет рабочие возможности прибора по времени;
  • защита IP. Пользуются нивелиром на улице, поэтому важно, чтобы прибор имел защиту от погодных условий;
  • комплектность. Обязательно должны быть в комплекте специальные очки, уловитель сигналов и прочие вспомогательные элементы, облегчающие работу с прибором. Правда, за их наличие придется доплачивать.

Требования, предъявляемые к эксплуатации

Мало знать, как разметить лазерным уровнем фундамент. Необходимо уметь содержать прибор в рабочем состоянии.

Новое устройство в обязательном порядке проверяется на точность и правильность работы всех механизмов и оптики.

Чтобы через определенное время прибор не начал выдавать искажения при разметке, с ним необходимо обращаться бережно:

  • исключаются удары и воздействия механического характера, устройство оберегается от случайных падений;
  • пользоваться устройством необходимо в соответствии с правилами, указанными изготовителем в руководстве по эксплуатации;
  • для хранения нивелира используется защитный футляр.

Через определенное время приборная оптика отправляется в специальный центр для поверки и калибровки, периодичность такого обслуживания указывается в паспорте.

Применение лазерного устройства

Как разметить фундамент оптическим нивелиром, мы уже знаем. А при каких работах можно еще использовать такой прибор? Не поверите, но с помощью лазерного луча можно выполнять следующие действия:

  • оклеивать стены обоями. Уровень выставляется на нужное расстояние под потолочное перекрытие, берется ориентир на линию. Выполнять отбивки вам не придется;
  • прибор, рассекающий луч на два или четыре пучка, располагаемых перпендикулярно, поможет вам в работе с облицовочной плиткой. На стенах выдается проекция из пересекающихся лучей, толщина их обозначает шовные участки, а края – контуры крепящегося материала;
  • кроме того, нивелир способен оказать помощь в окраске и отделке лестниц и прочих конструкций, располагающихся наклонно. Горизонт выводится на необходимый угол, для чего аппарат придется наклонить и зафиксировать в таком положении треногу;
  • бытовая техника будет размещена точно, если выполнить разметку нивелиром;
  • некоторые мастера с помощью такого устройства выполняют сборку корпусной мебели.

Заключение

Лазерный нивелир – инструмент универсальный, который используется для различных видов работ.

Приобретя такое устройство, вы сможете не только разметить фундамент под застройку, но и выполнить другие полезные действия с исключительной точностью.

Как установить диагональные элементы матрицы в 1 в R?

Посмотреть обсуждение

Улучшить статью

Сохранить статью

  • Последнее обновление: 02 июн, 2022

  • Читать
  • Обсудить
  • Посмотреть обсуждение

    Улучшить статью

    Сохранить статью

    В этой статье мы обсудим, как установить диагональные элементы матрицы в 1 на языке программирования R.

    Матрица представляет собой прямоугольное расположение чисел в строках и столбцах. В матрице, как мы знаем, строки — это те, которые идут горизонтально, а столбцы — те, которые идут вертикально. В программировании на R матрицы представляют собой двумерные однородные структуры данных.

    матрица[строка(матрица)==столбец(матрица)]

    где матрица — входная матрица. row() проверит элементы строки, а col() проверит элементы столбца.

    Метод 1: Использование оператора ==

    Синтаксис для присвоения значения 1 диагональным элементам:

     matrix[row(matrix)==col(matrix)]=1 

    В этом примере мы создадим матрицу 5*5 и присвоим 1 диагональным элементам.

    Р

    matrix_data= matrix (1:25,nrow=5,ncol=5)

       

    print (matrix_data)

       

    matrix_data[ row (matrix_data)== col (matrix_data)] =1

       

    matrix_data

    Output:

     

    Пример 2:

    В этом примере мы создадим матрицу 2*2 и присвоим 1 диагональным элементам.

    R

    matrix_data= matrix (1:4,nrow=2,ncol=2)

       

    print (matrix_data)

       

    matrix_data[ строка (matrix_data)== столбец (matrix_data)] = 1

    MATRIX_DATA

    Вывод:

    9002 Diag ().

    Синтаксис: diag(matrix)=1

    где, матрица — входная матрица.

    Пример:

    В этом примере мы создадим матрицу 2*2 и присвоим 1 диагональным элементам.

    R

    matrix_data= matrix (1:4,nrow=2,ncol=2)

       

    print (matrix_data)

       

    diag (matrix_data)=1

       

    matrix_data

    Output:

     


    Diagonal maps of types


     {-# ОПЦИИ --без-K --exact-split #-}
    модуль Foundation.diagonal-maps-of-types, где
    открыть общедоступный импорт Foundation-core.diagonal-maps-of-types
    открыть импорт Foundation-core.0-maps
    открытый импорт фундамент-ядро. 1-типы
    открытый импорт Foundation-core.cartesian-product-types
    открытый импорт Foundation-core.contractible-maps
    открытый импорт основных типов.зависимых пар
    открыть импорт Foundation-core.embeddings
    открытый импорт Foundation-core.faithful-maps
    открытый импорт Foundation-core.fibers-of-maps
    открытый импорт фундамент-core.identity-types
    открытый импорт Foundation-core.propositional-maps
    открыть импортный фундамент-core.propositions
    открытый импорт фундамент-core.sets
    открыть импорт Foundation-core.truncated-maps
    открытый импорт фундамент-core.truncated-types
    открыть импорт Foundation-core.truncation-levels
    открытый импорт Foundation-core.universe-levels
     

    Свойства

    Тип является (k+1)-усеченным тогда и только тогда, когда диагональ k-усечена

     модуль _
      {l : Уровень} {A : UU l}
      куда
      
      Аннотация
        is-trunc-is-trunc-map-diagonal:
          (k : 𝕋) → is-trunc-map k (диагональ A) → is-trunc (succ-𝕋 k) A
        is-trunc-is-trunc-map-diagonal k is-trunc-d x y =
          is-trunc-is-equiv' k
            ( фиб (диагональ A) (пара x y))
            (eq-fib-диагональ A (пара x y))
            (is-equiv-eq-fib-diagonal A (пара x y))
            (is-trunc-d (пара x y))
      Аннотация
        is-prop-is-contr-map-diagonal : is-contr-map (диагональ A) → is-prop A
        is-prop-is-contr-map-diagonal = is-trunc-is-trunc-map-diagonal neg-two-𝕋
      Аннотация
        is-set-is-prop-map-diagonal : is-prop-map (диагональ A) → is-set A
        is-set-is-prop-map-diagonal = is-trunc-is-trunc-map-diagonal neg-one-𝕋
      Аннотация
        is-set-is-emb-diagonal : is-emb (диагональ A) → is-set A
        is-set-is-emb-диагональ H =
          is-set-is-prop-map-diagonal (is-prop-map-is-emb H)
      Аннотация
        is-1-type-is-0-map-diagonal : is-0-map (диагональ A) → is-1-type A
        is-1-type-is-0-map-diagonal = is-trunc-is-trunc-map-diagonal zero-𝕋
      Аннотация
        is-1-type-is-faithful-diagonal : is-faithful (диагональ A) → is-1-type A
        is-1-type-is-faithful-diagonal H =
          is-1-type-is-0-map-diagonal (is-0-map-is-faithful H)
      
      Аннотация
        is-trunc-map-diagonal-is-trunc :
          (k : 𝕋) → is-trunc (succ-𝕋 k) A → is-trunc-map k (диагональ A)
        is-trunc-map-diagonal-is-trunc k is-trunc-A t =
          is-trunc-is-equiv k
            ( pr1 t = pr2 t)
            (eq-fib-диагональ A t)
            (is-equiv-eq-fib-diagonal A t)
              (is-trunc-A (pr1 t) (pr2 t))
      Аннотация
        is-contr-map-diagonal-is-prop : is-prop A → is-contr-map (диагональ A)
        is-contr-map-diagonal-is-prop = is-trunc-map-diagonal-is-trunc neg-two-𝕋
      Аннотация
        is-prop-map-diagonal-is-set : is-set A → is-prop-map (диагональ A)
        is-prop-map-diagonal-is-set = is-trunc-map-diagonal-is-trunc neg-one-𝕋
      Аннотация
        is-emb-diagonal-is-set : is-set A → is-emb (диагональ A)
        is-emb-diagonal-is-set H =
          is-emb-is-prop-map (is-prop-map-diagonal-is-set H)
      Аннотация
        is-0-map-diagonal-is-1-type : is-1-type A → is-0-map (диагональ A)
        is-0-map-diagonal-is-1-type = is-trunc-map-diagonal-is-trunc zero-𝕋
      Аннотация
        is-faithful-diagonal-is-1-type : is-1-type A → is-faithful (диагональ A)
        верный-диагональный-1-тип H =
          is-faithful-is-0-map (is-0-map-diagonal-is-1-type H)
    диагональ-наб.