| Popis: |
The notion of an algebraic theory, which is able to describe many algebraic structures, has been used extensively since itsintroduction by Lawvere in 1963. This perspective has been very fruitful for understanding in a wide variety of algebraicstructures, including rigidification results for simplicial algebras over algebraic theories by Badzioch and Bergner. Inthis thesis, we extend the rigidification results to algebras over a larger class of categories, which includes bisimplicialsets. In particular, we prove the rigidification result is true in any diagram category $\SSets^{\mathcal{C}^{op}}$ for a small category $\mathcal{C}$. |
