YS
лучше "вручную" описать категорию со стрелками из этого отношения + заглушки id
Size: a a a
2019 December 24
A
впрочем, может и есть такая
(
Это пример в статье про обычные free category, да и я как-то не вижу моноидальной структуры на категории с одним объектом
А, все, я перечитал, увидел условие
(
впрочем, может и есть такая
Категория натуральных чисел?
A
Категория натуральных чисел?
Там не один объект :/
A
Или что вы под ней понимаете?
(
Там не один объект :/
Емнип, там один объект, множество натуральных чисел
Oℕ
очень много разных категорий можно построить под названием "категория натуральных чисел"
ЕО
Мне в голову приходит сразу FinSet :)
A
Я воспринимаю её как полную подгатегорию FinSet
Oℕ
можно взять любой моноид и построить категорию одного объекта
а можно взять любой предпорядок, типа <= и построить тонкую категорию, где каждое число объект
а можно взять любой предпорядок, типа <= и построить тонкую категорию, где каждое число объект
A
Мне в голову приходит сразу FinSet :)
Ну да
Oℕ
симплициальные туда же
2019 December 25
J
Привет, נאור Abo Osman! Пройди анти-спам проверку за 2 мин.
Oℕ
Есть ли какое-то популярное наименование для профунктора копредставимого через Hom функтор?
AG
https://arxiv.org/abs/1912.10642 Perrone, "Notes on Category Theory with examples from basic mathematics"
Oℕ
https://arxiv.org/abs/1912.10642 Perrone, "Notes on Category Theory with examples from basic mathematics"
@elemir90 на беглый осмотр кажется хорошим овервью, может быть добавить в статью из пина?
2019 December 26
J
Привет, .! Пройди анти-спам проверку за 2 мин.
C
Alert! Samu is a known spammer and is CAS banned. Ban is strongly recommended.
2019 December 27
AZ
The right (endo-)functor 𝑅, when acting on 𝑏 produces the function object 𝑎 ⇒ 𝑏 (or 𝑏^𝑎)
Again, 𝑎 is fixed. The adjunction between these two
functors is often written as:
− × 𝑎 ⊣ (−)
The mapping of hom-sets that underlies this adjunction is best seen by
redrawing the diagram that we used in the universal construction.
Again, 𝑎 is fixed. The adjunction between these two
functors is often written as:
− × 𝑎 ⊣ (−)
The mapping of hom-sets that underlies this adjunction is best seen by
redrawing the diagram that we used in the universal construction.