Monad 的松弛形式理论、双范畴结构的幺半群方法以及广义 operads
范畴论
2015-04-22 v2
摘要
广义 operads（也称为广义多范畴和 -monoids）被定义为 Kleisli 双范畴内的 monads。无论是否强调其幺半群性质，广义 operads 已被众多作者在不同背景下进行研究，其示例包括对称多范畴、拓扑空间、球状 operads 和 Lawvere 理论。在本文中，我们研究了 Kleisli 构造的函子性，以及相应的广义 operads 的函子性。受此问题的启发，我们发展了 monad 形式理论的松弛版本，并研究了其与双范畴结构的联系。
引用
@article{arxiv.1412.4628,
title = {Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads},
author = {Dimitri Chikhladze},
journal= {arXiv preprint arXiv:1412.4628},
year = {2015}
}
备注
55 pages