English
Related papers

Related papers: Internal bicategories in groups

200 papers

We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…

Category Theory · Mathematics 2016-05-24 Simona Paoli

This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…

Category Theory · Mathematics 2010-09-10 Stephen Lack

In the efforts to define a 2-categorical analog of an abelian category, two (or three) notions of "abelian 2-categories" are defined. One is the relatively exact 2-category, and the other(s) is the (2-)abelian Gpd-category. We compare these…

Category Theory · Mathematics 2009-04-03 Hiroyuki Nakaoka

For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…

Category Theory · Mathematics 2017-09-12 Yong Liu

This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs. We consider inner-product…

Quantum Algebra · Mathematics 2014-05-23 Gregor Schaumann

The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…

Category Theory · Mathematics 2007-05-23 John W. Barrett , Marco Mackaay

Recently, there has been growing interest in bicategorical models of programming languages, which are "proof-relevant" in the sense that they keep distinct account of execution traces leading to the same observable outcomes, while assigning…

Logic in Computer Science · Computer Science 2023-01-30 Pierre Clairambault , Simon Forest

A subgroup $H$ of a topological abelian group $X$ is said to be characterized by a sequence $\mathbf v =(v_n)$ of characters of $X$ if $H=\{x\in X:v_n(x)\to 0\ \text{in}\ \mathbb T\}$. We study the basic properties of characterized…

General Topology · Mathematics 2015-09-04 Dikran Dikranjan , Anna Giordano Bruno , Daniele Impieri

We review the complete definition of monoidal 2-categories and recover Kapranov and Voevodsky's definition from the algebraic definition of weak 3-category(or tricategory).

Category Theory · Mathematics 2023-12-12 Fatimah Rita Ahmadi

We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…

Category Theory · Mathematics 2021-02-17 Alexandre Fernandez , Luidnel Maignan , Antoine Spicher

In this paper we characterize the sectional category of subgroup inclusions and the $r^{th}$-sequential topological complexity of aspherical spaces of a group G in terms of the A-genus in the sense of Clapp-Puppe and Bartsch for a suitable…

Algebraic Topology · Mathematics 2025-02-18 Arturo Espinosa Baro

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

Category Theory · Mathematics 2025-09-11 Kaique Matias de Andrade Roberto , Ana Luiza Tenório

We extend to semi-abelian categories the notion of characteristic subobject, which is widely used in group theory and in the theory of Lie algebras. Moreover, we show that many of the classical properties of characteristic subgroups of a…

Category Theory · Mathematics 2013-11-22 Alan S. Cigoli , Andrea Montoli

We calssify actions of discrete abelian groups on some inclusions of von Neumann algebras, up to cocycle conjugacy. As an application, we classify actions of compact abelian groups on the inclusions of AFD factors of type II_1 with index…

Operator Algebras · Mathematics 2014-12-16 Koichi Shimada

In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…

Representation Theory · Mathematics 2019-04-12 Volodymyr Mazorchuk , Vanessa Miemietz , Xiaoting Zhang

We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive…

Category Theory · Mathematics 2022-08-08 Haruhisa Enomoto

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

Category Theory · Mathematics 2016-12-13 Amit Kuber , Jiří Rosický

We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (MAP) groups and give a characterization of the class of…

General Topology · Mathematics 2007-05-23 Dikran Dikranjan , Kenneth Kunen

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

Category Theory · Mathematics 2011-11-09 Thomas M. Fiore

Two groups are called isocategorical over a field $k$ if their respective categories of $k$-linear representations are monoidally equivalent. We classify isocategorical groups over arbitrary fields, extending the earlier classification of…

Representation Theory · Mathematics 2016-02-25 César Galindo