Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1601.07734

Coverings of internal groupoids and crossed modules in the category of groups with operations

H. Fulya Akız·Nazmiye Alemdar·Osman Mucuk·Tunçar Şahan
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.

Explore related subjects

math.CTmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

H. Fulya Akız, Nazmiye Alemdar, Osman Mucuk, Tunçar Şahan. 2016-01-28. Coverings of internal groupoids and crossed modules in the category of groups with operations. https://doi.org/10.1515/gmj-2013-0021

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, which is defined for Us-admitting dcpos, where Us-admissability is well-filteredness with compact sets replaced by strongly compact sets. In this paper, we consider the Hoare power construction H and the Smyth power construction Q on the category WF of well-filtered dcpos with Scott-continuous maps. Actually, the functors H and Q can be extended to monads. We prove that H and Q commute, that is, HQ(L) is isomorphic to QH(L) for a well-filtered dcpo L, if and only if L satisfies a property similar to consonance that we call (KC) and the Scott topology coincides with the upper Vietoris topology on Q(L). We also investigate the Eilenberg-Moore category of the monad composed by H and Q under a distributive law on WF and characterize it to be a subcategory of the category Frm, which is composed of all frames and all frame homomorphisms.

math.CT↗
arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗