On internal categories and crossed objects in the category of monoids

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Pirashvili, Ilia
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910286623014912
author Pirashvili, Ilia
author_facet Pirashvili, Ilia
contents It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this result heavily uses the fact that any split epimorphism decomposes as a semi-direct product. An equivalent statement does not hold in the category $\mathbf{Mon}$ of monoids. In a previous work on quadratic algebras, I constructed an internal category in the category of monoids, see Section 6. Based on this construction, this paper will introduce the notion of a crossed semi-bimodule and show that it gives rise to an object in $\mathsf{Cat}(\mathbf{Mon})$. I will also relate this new notion to the crossed semi-modules introduced earlier by A. Patchkoria.
format Preprint
id arxiv_https___arxiv_org_abs_2401_01863
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On internal categories and crossed objects in the category of monoids
Pirashvili, Ilia
Category Theory
18D40, 18G45, 20M50
It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this result heavily uses the fact that any split epimorphism decomposes as a semi-direct product. An equivalent statement does not hold in the category $\mathbf{Mon}$ of monoids. In a previous work on quadratic algebras, I constructed an internal category in the category of monoids, see Section 6. Based on this construction, this paper will introduce the notion of a crossed semi-bimodule and show that it gives rise to an object in $\mathsf{Cat}(\mathbf{Mon})$. I will also relate this new notion to the crossed semi-modules introduced earlier by A. Patchkoria.
title On internal categories and crossed objects in the category of monoids
topic Category Theory
18D40, 18G45, 20M50
url https://arxiv.org/abs/2401.01863