Категория E
Категория E
Категория E — Отгрузка
EXW (EX Works ( … named place)
Франко завод ( …название места)
Термин «Франко перевозчик» означает, что продавец доставит прошедший таможенную очистку товар указанному покупателем перевозчику до названного места. Следует отметить, что выбор места поставки повлияет на обязательства по погрузке и разгрузке товара на данном месте. Если поставка осуществляется в помещении продавца, то продавец несет ответственность за отгрузку. Если же поставка осуществляется в другое место, продавец за отгрузку товара ответственности не несет. Данный термин может быть использован при перевозке любым видом транспорта, включая смешенные перевозки.
Под словом «Перевозчик» понимается любое лицо, которое на основании договора перевозки обязуется осуществить или обеспечить перевозку товара по железной дороге, автомобильным, воздушным, морским и внутренним водным транспортом или комбинацией этих видов транспорта.
Если покупатель доверяет другому лицу, не являющемуся перевозчиком, принять товар, то продавец считается выполнившим свои обязанности по поставке товара с момента передачи его данному лицу.
|
ОБЯЗАННОСТИ ПРОДАВЦА |
ОБЯЗАННОСТИ ПОКУПАТЕЛЯ |
|
|
А.1. ПОСТАВКА ТОВАРА В СООТВЕТСТВИИ С ДОГОВОРОМ Продавец обязан в соответствии с договором купли-продажи предоставить покупателю товар, коммерческий счет-фактуру или эквивалентное ему электронное сообщение, а также любые другие доказательства соответствия, которые могут потребоваться по условиям договора купли-продажи. |
B.1. ОПЛАТА ЦЕНЫ Покупатель обязан уплатить предусмотренную договором купли-продажи цену товара. |
|
|
А. Продавец обязан по просьбе покупателя, за его счет и на его риск, оказать последнему, если это потребуется (см. Введение п.14), полное содействие в получении любой экспортной лицензии или другого официального документа, необходимого для экспорта товара. |
B.2. ЛИЦЕНЗИИ, СВИДЕТЕЛЬСТВА И ФОРМАЛЬНОСТИ Покупатель обязан за свой счет и на свой риск получить любую экспортную или импортную лицензию или другое официальное свидетельство, а также выполнить, если это потребуется (см. Введение п.14), все таможенные формальности для экспорта товара |
|
|
А.3. ДОГОВОРЫ ПЕРЕВОЗКИ И СТРАХОВАНИЯ а) Договор перевозки Нет обязательств (см. Введение п.10). б) Договор страхования Нет обязательств (см. Введение п.10). |
B.3. ДОГОВОРЫ ПЕРЕВОЗКИ И СТРАХОВАНИЯ а) Договор перевозки Нет обязательств (см. б) Договор страхования Нет обязательств (см. Введение п.10). |
|
|
А.4. ПОСТАВКА Продавец обязан в оговоренную дату или в пределах оговоренного срока предоставить неотгруженный в какое-либо транспортное средство товар в распоряжение покупателя в названном в договоре месте поставки. При отсутствии в договоре таких указаний, продавец обязан осуществить поставку в обычные для поставки аналогичных товаров место и сроки. Если стороны не договорились о каком-либо конкретном пункте в названном месте поставки и если таких пунктов несколько, то продавец может выбрать наиболее подходящий для него пункт в месте поставки. |
B.4. ПРИНЯТИЕ ПОСТАВКИ Покупатель обязан принять поставку товара, как только товар предоставлен в его распоряжение в соответствии со статьями А.4 и А.7./Б.7. |
|
|
А. Продавец обязан с учетом оговорок статьи Б.5 нести все риски потери или повреждения товара до момента его поставки в соответствии со статьей А.4 |
B.5. ПЕРЕХОД РИСКОВ Покупатель обязан нести все риски потери или повреждения товара- с момента, когда товар поставлен ему в соответствии со статьей А.4., и- с согласованной даты или согласованного срока для принятия поставки, которые возникают при невыполнении им обязанности дать извещение в соответствии со статьей Б.7. Условием, однако, является надлежащее соответствие товара договору. Это значит, что товар должен быть надлежащим образом идентифицирован, то есть определенно обособлен или иным образом обозначен как товар, являющийся предметом данного договора. |
|
|
А.6. РАСПРЕДЕЛЕНИЕ РАСХОДОВ Продавец обязан с учетом оговорок статьи Б.6. нести все расходы, связанные с товаром до момента его поставки в соответствие со статьей А. |
|
|
|
А.7. УВЕДОМЛЕНИЕ ПОКУПАТЕЛЮ |
|
|
|
А.8. ДОКАЗАТЕЛЬСТВА ДОСТАВКИ, ТРАНСПОРТНЫЕ ДОКУМЕНТЫ ИЛИ ЭКВИВАЛЕНТНЫЕ ЭЛЕКТРОННЫЕ СООБЩЕНИЯ Нет обязательств (см. Введение п.10). |
|
|
|
А.9. ПРОВЕРКА — УПАКОВКА — МАРКИРОВКА Продавец обязан нести расходы, связанные с проверкой товара (например, проверкой качества, размеров, веса, количества), необходимой для предоставления товара в распоряжение покупателя. Продавец обязан за свой счет оплатить расходы, связанные с упаковкой, необходимой для перевозки товара (за исключением случаев, когда в данной отрасли торговли принято обычно отправлять обусловленный контрактом товар без упаковки). Последнее осуществляется в той мере, в какой обстоятельства, относящиеся к транспортировке (например, способы перевозки, место назначения), были известны продавцу до заключения договора купли-продажи. Упаковка должна быть маркирована надлежащим образом. |
B.9. ИНСПЕКЦИЯ ТОВАРА Покупатель обязан нести, если не оговорено иное, расходы, связанные с любым предпогрузочным осмотром товара, включая расходы на осмотр, требуемый властями страны экспорта. |
|
|
А.10. ДРУГИЕ ОБЯЗАТЕЛЬСТВА Продавец обязан по просьбе покупателя оказать последнему за его счет и на его риск полное содействие в получении любых документов или эквивалентных им электронных сообщений, выдаваемых или используемых в стране поставки и/или в стране происхождения товара, которые могут потребоваться покупателю для экспорта и/или импорта товара или, в случае необходимости, для его транзитной перевозки через третьи страны. Продавец обязан обеспечить покупателя по его требованию всей информацией, необходимой для осуществления страхования. |
B.10. ДРУГИЕ ОБЯЗАТЕЛЬСТВА Покупатель обязан нести все расходы и оплачивать сборы, связанные с получением документов или эквивалентных им электронных сообщений, как это предусмотрено в статье А.10., а также возместить расходы продавца, понесенные последним вследствие оказания помощи пок |
2. ЛИЦЕНЗИИ, СВИДЕТЕЛЬСТВА И ФОРМАЛЬНОСТИ
Введение п.10).
5. ПЕРЕХОД РИСКОВ
4.
E-категория в nLab
Пропустить навигационные ссылки | Домашняя страница | Все страницы | Последние версии | Обсудить эту страницу |
СодержаниеКонтекст
Теория типов
естественная дедукция метаязык, практические основы
решение
гипотетическое решение, последовательное
- антецеденты⊢\vdashconsequent, потомки
- правило формирования типа
- правило введения термина
- правило исключения термина
- правило вычисления
теория типов (зависимая, интенсиональная, наблюдательная теория типов, гомотопическая теория типов)
- исчисление конструкций
синтаксис объектный язык
теория,
аксиомапредложение/тип (предложения как типы)
определение/корректура/программа (корректура как программа)
- Теорема
вычислительный тринитаризм =
пропозиций как типов + программ как доказательств + теория типов отношений/теория категорий
| логика | теория множеств (внутренняя логика) | теория категорий | тип теория |
|---|---|---|---|
| предложение | набор | объект | тип |
| предикат | семейство множеств | отображение морфизма | зависимый тип |
| доказательство | элемент | обобщенный элемент | 900 92 терм/программа|
| правило разреза | композиция классифицирующих морфизмов / откат отображения maps | замена | |
| правило введения для импликации | counit для ом-тензорного присоединения | lambda | |
| правило исключения для импликации | единица для ом-тензорного присоединения | приложение | |
| исключение разреза для импликации | один из зигов заг-тождества для ом-тензорного присоединения | бета-редукции | |
| тождества исключение импликации | другое зигзагообразное тождество для хом-тензорного присоединения | эта-преобразование | |
| верно | singleton | терминальный объект/(-2)-усеченный объект | h-level 0-type/unit type |
| false | пустой набор | начальный объект | пустой тип |
| предложение, истинностное значение | subsingleton | субтерминальный объект/(-1)-усеченный объект | h-предложение, простое предложение |
| логическая конъюнкция | декартово произведение | произведение | тип продукта |
| дизъюнкция | несвязное объединение (опора) | копроизведение ((-1)-усечение) | тип суммы (тип скобки) |
| импликация 9009 3 | набор функций (в субсинглтон) | внутренний hom (в субтерминальный объект) | тип функции (в h-предложение) |
| отрицание | набор функций в пустой набор | внутренний hom в исходный объект | тип функции в пустой тип |
| универсальная квантификация | индексированное декартово произведение (семейства субэлементов) | зависимое произведение (семейства субтерминальных объектов) | тип зависимого произведения (семейства h-предложений) |
| экзистенциальная квантификация | индексированная несвязное объединение (поддержка) | зависимая сумма ((-1)-усечение) | зависимая сумма тип (скобочный тип) |
| логическая эквивалентность | множество биекций | объект изоморфизмов | тип эквивалентности |
| набор опор | опорный объект/(-1)-усечение | пропозициональное усечение/ тип скобки | |
| n-образ морфизма в терминальный объект/n-усечение | модальность n-усечения | ||
| равенство | диагональная функция/диагональное подмножество/диагональное отношение | объект пространства пути | тип идентичности/тип пути |
| полностью представленный набор | набор | дискретный объект/0-усеченный объект | h-уровень 2-тип/набор/h-набор |
| набор 90 093 | набор с отношением эквивалентности | Внутренний 0-групоидный | Бишоп Set/Setoid с его псевдо-эквивалентность0093 |
| индукция | копредел | индуктивный тип, W-тип, M-тип | |
| высшая индукция | высший копредел 9009 3 | высший индуктивный тип | |
| — | 0-усеченный высший копредел | частно-индуктивный тип | |
| коиндукция | предел | коиндуктивный тип | |
| предустановка | 90 124тип без идентификационных типов | ||
| набор значений истинности | классификатор подобъектов | тип предложений | |
| область дискурса | вселенная | класс объекта ifier | тип универсума |
| модальность | оператор замыкания (идемпотент) монада | теория модальных типов, монада (в информатике) | |
| линейная логика | (симметричная, замкнутая) моноидальная категория | теория линейных типов/квантовые вычисления | |
| сеть доказательств | струнная диаграмма | квантовая схема | |
| (отсутствие) правила сокращения | 9 0092 (отсутствие) диагонали | теорема о запрете клонирования | |
| синтетическая математика | предметно-ориентированный встроенный язык программирования |
гомотопические уровни
теория типов
2-типовая теория, 2-категориальная логика
теория гомотопических типов, теория гомотопических типов — содержание
гомотопический тип
однолистность, экстенсиональность функций, внутренняя логика (∞,1)-топоса
когезионная теория гомотопических типов
направленная теория гомотопических типов
Методы HoTT для гомотопистов
семантика
внутренняя логика, категориальная семантика
- показать карту
внутренняя логика топоса
Язык Митчелла-Бенабу
Семантика Крипке-Джояла
внутренняя логика (∞,1)-топоса
- теоретико-типовая категория модели
Изменить эту боковую панель
Теория категорий
Теория категорий
Концепции
категория
функтор
естественная трансформация
Кот
Универсальные конструкции
универсальная конструкция
представимый функтор
сопряженный функтор
лимит/колимит
взвешенный предел
конец/конец
Расширение Кан
Теоремы
Лемма Йонеды
Двойственность Исбелла
Конструкция Гротендика
Теорема о сопряженном функторе
теорема монадичности
теорема о присоединенном подъеме
Двойственность Таннака
Двойственность Габриэля-Ульмера
аргумент маленького объекта
Теорема вложения Фрейда-Митчелла
связь между теорией типов и теорией категорий
Удлинители
сноп и теория топоса
теория обогащенных категорий
теория высшей категории
Приложения
- приложения теории (высших) категорий
Изменить эту боковую панель
- Идея
- Определение
- Свойства
- См.
также
такжеИдея
E-категория — это категория, обогащенная сетоидами. Это в основном используется в теории зависимых типов; с этой точки зрения он связан с предкатегорией, но с заданными отношениями эквивалентности, а не с тождественным типом, как «равенство морфизмов».
Определение
В теории интенсиональных типов E-категория или 𝒞\mathcal{C} состоит из
- типа объектов Ob(𝒞)Ob(\mathcal{C}),
- для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}) и B:Ob(𝒞)B:Ob(\mathcal{C}), множества (Hom(A,B),∼Hom (A,B))(Hom(A, B), \sim_{Hom(A, B)}) морфизмов
- для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}), B:Ob(𝒞)B:Ob(\mathcal{C}) и C:Ob(𝒞)C:Ob(\ mathcal{C}), бинарная функция
(−)∘A,B,C(−): Hom(B,C)×Hom(A,B)→Hom(A,C)(-)\circ_{A , B, C}(-) :Hom(B, C) \times Hom(A, B) \to Hom(A, C)
таких, что для каждого морфизма f:Hom(A,B)f:Hom(A,B), g:Hom(A,B)g:Hom(A,B), h:Hom(B,C)h: Hom(B, C) и k:Hom(B,C)k:Hom(B,C), имеется свидетель экстенсиональности
ext(A,B,C,f,g,h,k):(f~Hom(A,B)g)×(h~Hom(B,C)k)→(h∘A,B,Cf ∼Hom(A,C)k∘A,B,Cg)\mathrm{ext}(A, B, C, f, g, h, k):(f \sim_{Hom(A, B)} g) \times (h \sim_{Hom(B, C)} k) \to (h \circ_{A, B, C} f \sim_{Hom(A, C)} k \circ_{A, B, C} г)
- для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}), морфизм idA:Hom(A,A)\mathrm{id}_A:Hom(A, A)
- такой, что
- композиция морфизмов ассоциативна: для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}), B:Ob(𝒞)B:Ob(\mathcal{C}), C:Ob( 𝒞)C:Ob(\mathcal{C}) и D:Ob(𝒞)D:Ob(\mathcal{C}), и для каждого морфизма f:Hom(A,B)f:Hom(A, B ), g:Hom(B,C)g:Hom(B,C) и h:Hom(C,D)h:Hom(C,D), имеется свидетельство ассоциативности
assoc(A,B, C,D,f,g,h):h∘A,C,D(g∘A,B,Cf)∼Hom(A,D)h∘B,C,D(g∘A,B,Df) \mathrm{assoc}(A, B, C, D, f, g, h):h \circ_{A, C, D} (g \circ_{A, B, C} f) \sim_{Hom(A , D)} h \circ_{B, C, D} (g \circ_{A, B, D} f)
- композиция морфизмов удовлетворяет закону левой и правой единицы: для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}) и B:Ob(𝒞)B :Ob(\mathcal{C}) и морфизм f:Hom(A,B)f:Hom(A,B), имеются свидетели левой и правой унитальности
lunital(A,B,f):idB∘A,B,Bf∼Hom(A,B) f\mathrm{lunital}(A, B, f):\mathrm{id}_B \circ_{A, B, B} f \sim_{Hom(A, B)} f
runital(A,B,f ):f∘A,A,BidA∼Hom(A,B)f\mathrm{runital}(A, B, f):f \circ_{A, A, B} \mathrm{id}_A \sim_{Hom (А, В)} f
- композиция морфизмов ассоциативна: для каждого объекта A:Ob(𝒞)A:Ob(\mathcal{C}), B:Ob(𝒞)B:Ob(\mathcal{C}), C:Ob( 𝒞)C:Ob(\mathcal{C}) и D:Ob(𝒞)D:Ob(\mathcal{C}), и для каждого морфизма f:Hom(A,B)f:Hom(A, B ), g:Hom(B,C)g:Hom(B,C) и h:Hom(C,D)h:Hom(C,D), имеется свидетельство ассоциативности
Свойства
E-категория является локально однолистной или предкатегорией , если для всех объектов AA и BB и морфизмов f:Hom(A,B)f:Hom(A,B) и g:Hom(A ,B)g:Hom(A, B) каноническая функция
idtoequivrel(A,B,f,g):f=Hom(A,B)g→f∼Hom(A,B)gidtoequivrel(A, B , f, g):f =_{Hom(A, B)} g \to f \sim_{Hom(A, B)} g
— эквивалентность типов.
Изоморфизмом в E-категории называется морфизм f:Hom(A,B)f:Hom(A,B) с морфизмом g:Hom(B,A)g:Hom(B,A) и свидетелями
ret(A,B,f,g):g∘f∼Hom(A,A)idA\mathrm{ret}(A, B, f, g): g \circ f \sim_{Hom(A, A)} id_A
sec(A,B,f,g):f∘g∼Hom(B,B)idB\mathrm{sec}(A, B, f, g): f \circ g \sim_{ Hom(B, B)} id_B
Тип всех изоморфизмов между AA и BB представлен A≅𝒞BA \cong_{\mathcal{C}} B.
унивалентная категория , если она локально унивалентна и для всех объектов AA и BB каноническая функция
idtoiso(A,B):A=Ob(𝒞)B→A≅𝒞Bidtoiso(A, B):A =_{Ob (\mathcal{C})} B \to A \cong_{\mathcal{C}} B
— эквивалентность типов.
См. также
предкатегория
универсальная категория
предкатегория?
локально унивалентная бикатегория
одновалентная бикатегория
Последняя редакция: 26 сентября 2022 г., 05:31:09.
См. историю этой страницы для получения списка всех вкладов в нее.
: Глава 193 Общие положения :: РАЗДЕЛ 15 ПРЕСТУПЛЕНИЯ И НАКАЗАНИЯ :: Пересмотренные законы штата Невада 2010 года :: Пересмотренные законы штата Невада :: Кодексы и законы США :: Законодательство США :: Justia
Посмотреть нашу последнюю версию здесь
NRS 193.130 Категории и наказания за уголовные преступления.
1. За исключением случаев, когда лицо осуждено за фелонию категории А, и если иное не предусмотрено конкретным законом, лицо, осужденное за фелонию, должно быть приговорено к минимальному и максимальному срокам лишения свободы, которые должны быть в пределах пределы, установленные применимым законом, если только закон, действовавший на момент совершения фелонии, не предписывал иное наказание. Минимальный срок тюремного заключения, который может быть назначен, не должен превышать 40 процентов максимального назначенного срока.
2. Если иное не предусмотрено конкретным законом, за каждое тяжкое преступление, совершенное 1 июля 1995 г.
или после этой даты:
(a) Фелония категории А – это фелония, за которую выносится смертный приговор или к пожизненному заключению в государственной тюрьме с возможностью условно-досрочного освобождения или без таковой, как это предусмотрено конкретным законом.
(b) Фелония категории B – это фелония, за которую минимальный срок тюремного заключения в государственной тюрьме, который может быть назначен, составляет не менее 1 года, а максимальный срок тюремного заключения, который может быть назначен, составляет не более 20 лет, как это предусмотрено конкретным законом.
(c) Фелония категории C – это фелония, за которую суд приговаривает осужденного к лишению свободы в государственной тюрьме на минимальный срок не менее 1 года и максимальный срок не более 5 лет. В дополнение к любому другому наказанию суд может наложить штраф в размере не более 10 000 долларов США, если более крупный штраф не разрешен или не требуется законом.
(d) Фелония категории D – это фелония, за которую суд приговаривает осужденного к лишению свободы в государственной тюрьме на минимальный срок не менее 1 года и максимальный срок не более 4 лет.
В дополнение к любому другому наказанию суд может наложить штраф в размере не более 5000 долларов США, если более крупный штраф не разрешен или не требуется законом.
(e) Фелония категории E – это фелония, за которую суд приговаривает осужденного к лишению свободы в государственной тюрьме на минимальный срок не менее 1 года и максимальный срок не более 4 лет. За исключением случаев, предусмотренных в параграфе (b) подраздела 1 NRS 176A.100, после вынесения приговора лицу, признанному виновным в совершении фелонии категории E, суд должен приостановить исполнение приговора и назначить испытательный срок этому лицу на таких условиях. как суд сочтет нужным. Такие условия испытательного срока могут включать, но не ограничиваться этим, требуя, чтобы лицо отбыло срок заключения не более 1 года в окружной тюрьме. В дополнение к любому другому наказанию суд может наложить штраф в размере не более 5000 долларов США, если более крупный штраф не разрешен или не требуется законом.
[1911 C&P 18; РЛ 6283; NCL 9967]-(NRS A 1967, 458; 1995, 1167; 1997, 1177; 1999, 1186)
Отказ от ответственности: Эти коды могут быть не самой последней версией.