Results 1 
6 of
6
SemiAbelian Categories
, 2000
"... The notion of semiabelian category as proposed in this paper is designed to capture typical algebraic properties valid for groups, rings and algebras, say, just as abelian categories allow for a generalized treatment of abeliangroup and module theory. In modern terms, semiabelian categories ar ..."
Abstract

Cited by 37 (3 self)
 Add to MetaCart
The notion of semiabelian category as proposed in this paper is designed to capture typical algebraic properties valid for groups, rings and algebras, say, just as abelian categories allow for a generalized treatment of abeliangroup and module theory. In modern terms, semiabelian categories are exact in the sense of Barr and protomodular in the sense of Bourn and have finite coproducts and a zero object. We show how these conditions relate to "old" exactness axioms involving normal monomorphisms and epimorphisms, as used in the fifties and sixties, and we give extensive references to the literature in order to indicate why semiabelian categories provide an appropriate notion to establish the isomorphism and decomposition theorems of group theory, to pursue general radical theory of rings, and how to arrive at basic statements as needed in homological algebra of groups and similar nonabelian structures. Mathematics Subject Classification: 18E10, 18A30, 18A32. Key words:...
TRIPLES, ALGEBRAS AND COHOMOLOGY
 REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
, 2003
"... ..."
A categorification of quantum sl(2
 Adv. Math
"... We categorify Lusztig’s ˙U – a version of the quantized enveloping algebra Uq(sl2). Using a graphical calculus a 2category ˙ U is constructed whose Grothendieck ring is isomorphic to the algebra ˙ U. The indecomposable morphisms of this 2category lift Lusztig’s canonical basis, and the Homs betwee ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
We categorify Lusztig’s ˙U – a version of the quantized enveloping algebra Uq(sl2). Using a graphical calculus a 2category ˙ U is constructed whose Grothendieck ring is isomorphic to the algebra ˙ U. The indecomposable morphisms of this 2category lift Lusztig’s canonical basis, and the Homs between 1morphisms are graded lifts of a semilinear form defined on ˙U. Graded lifts of various homomorphisms and antihomomorphisms of U ˙ arise naturally in the context of our graphical calculus. For each positive integer N a representation of U˙ is constructed using iterated flag varieties that categorifies the irreducible (N + 1)dimensional representation of ˙ U.
EXACT CATEGORIES
, 2008
"... We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We th ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then
HUMAN CONSCIOUSNESS AND ARTIFICIAL INTELLIGENCE
"... In this monograph we present a novel approach to the problems raised by higher complexity in both nature and the human society, by considering the most complex levels of objective existence as ontological metalevels, such as those present in the creative human minds and civilised, modern societies. ..."
Abstract
 Add to MetaCart
In this monograph we present a novel approach to the problems raised by higher complexity in both nature and the human society, by considering the most complex levels of objective existence as ontological metalevels, such as those present in the creative human minds and civilised, modern societies. Thus, a ‘theory ’ about theories is called a ‘metatheory’. In the same sense that a statement about propositions is a higherlevel 〈proposition 〉 rather than a simple proposition, a global process of subprocesses is a metaprocess, and the emergence of higher levels of reality via such metaprocesses results in the objective existence of ontological metalevels. The new concepts suggested for understanding the emergence and evolution of life, as well as human consciousness, are in terms of globalisation of multiple, underlying processes into the metalevels of their existence. Such concepts are also useful in computer aided ontology and computer science [1],[194],[197]. The selected approach for our broad– but also indepth – study of the fundamental, relational structures and functions present in living, higher organisms and of the extremely complex processes and metaprocesses of the human mind combines new concepts from three recently developed, related mathematical fields: Algebraic Topology (AT), Category Theory (CT) and Higher Dimensional Algebra