В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

584 membersпожаловаться на группу
2020 July 03

NI

Nick Ivanych in Теория категорий
Alex Zhukovsky
мне казалось криптография основывается на сложных вычислительных задач, которые при этом легко проверять. Для ТК разве такие есть?
Думаю, что можно придумать.
Но вряд ли это кому-то надо.
Хотя забавное может быть направление - не гомоморфное шифроване, а например, функториальное ;-)
источник
15:24пожаловаться#1

AZ

Alex Zhukovsky in Теория категорий
а 2-категория это следующая после малых или что?
источник
15:27пожаловаться#2

Oℕ

Oleg ℕizhnik in Теория категорий
Ну не обязательно вычислять что-то средствами самого теорката.
Можно, например, просто "сложность"" задачи трактовать как какую-то характеристику или модальность морфизмов и учитывать при композиции
источник
15:28пожаловаться#3

Oℕ

Oleg ℕizhnik in Теория категорий
Alex Zhukovsky
а 2-категория это следующая после малых или что?
https://ncatlab.org/nlab/show/strict+2-category

https://ncatlab.org/nlab/show/bicategory
источник
15:28пожаловаться#4

Oℕ

Oleg ℕizhnik in Теория категорий
Это одно из возможных обобщений понятия категории.
источник
15:29пожаловаться#5

AZ

Alex Zhukovsky in Теория категорий
ясно, спасибо
источник
15:31пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
Ещё можно сказать, что бикатегории с моноидальными категориями находятся примерно в тех же отношениях, что категории с моноидами
источник
15:31пожаловаться#7

AK

Antony Kapranov in Теория категорий
В определении категории ничто не противоречит, чтобы один объект находился сразу в двух категориях, как и один морфизм. Если я возьму объект и его id из категории C и найду его же в категории D, то могу ли я утверждать, что в категории D он тоже будет id?
источник
15:49пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
не можете
источник
15:49пожаловаться#9

AK

Antony Kapranov in Теория категорий
Не подскажете какой-нибудь контрпример, желательно из малых категорий?
источник
15:51пожаловаться#10

Oℕ

Oleg ℕizhnik in Теория категорий
Как частный пример рассмотрите категории из одного объекта.
Верно ли, что для всех моноидов на одном множестве нейтральные элементы совпадают?
источник
15:51пожаловаться#11

Oℕ

Oleg ℕizhnik in Теория категорий
Моноид на булевом множестве, относительно операций И и ИЛИ
источник
15:52пожаловаться#12

AK

Antony Kapranov in Теория категорий
В моноиде на И будет стрелка И Истина, но в моноиде на ИЛИ такой стрелки не будет. Где ошибаюсь?
источник
15:55пожаловаться#13

Oℕ

Oleg ℕizhnik in Теория категорий
В обоих моноидах два элемента соответственно два морфизма
источник
15:56пожаловаться#14

Oℕ

Oleg ℕizhnik in Теория категорий
Но композиция опредедена разным образом
источник
15:56пожаловаться#15

Oℕ

Oleg ℕizhnik in Теория категорий
В одном - это И и айдентити будет морфизм Истина.
В другом - это ИЛИ и айдентити будет морфизм Ложь
источник
15:56пожаловаться#16

Oℕ

Oleg ℕizhnik in Теория категорий
Полагаю, это самая маленькая категория, которую я могу предложить
источник
15:59пожаловаться#17

NI

Nick Ivanych in Теория категорий
Oleg ℕizhnik
Полагаю, это самая маленькая категория, которую я могу предложить
А есть что-то из среднего ценового диапазона?
источник
16:06пожаловаться#18

AK

Antony Kapranov in Теория категорий
Oleg ℕizhnik
Моноид на булевом множестве, относительно операций И и ИЛИ
Имеется в виду категория с одним объектом или моноид в моноидальной категории?
источник
16:09пожаловаться#19

NI

Nick Ivanych in Теория категорий
Antony Kapranov
Имеется в виду категория с одним объектом или моноид в моноидальной категории?
Категория с одним объектом.
источник
16:10пожаловаться#20