Search results for "groupoid"

showing 10 items of 15 documents

The Grounding of Computational Psychoanalysis: A Comparative History of Culture Overview of Matte Blanco Bilogic

2014

In this paper, we wish to highlight, within the general cultural context, some possible elementary computational psychoanalysis formalizations concerning Matte Blanco's bi-logic components through certain very elementary mathematical tools and notions drawn from theoretical physics and algebra.

Comparative historyPsychoanalysisdouble bind.bi-logicComputer scienceCultural contextContext (language use)Algebra over a fieldgroupoidsymmetry breaking
researchProduct

Butterflies in a Semi-Abelian Context

2011

It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp, with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects). Monoidal functors can be equivalently described by a kind of weak morphisms introduced by B. Noohi under the name of butterflies. In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show th…

Discrete mathematicsPure mathematicsButterflyFunctorInternal groupoidWeak equivalenceGeneral MathematicsSemi-abelian categoryFunctor categoryContext (language use)Mathematics - Category TheoryBicategory of fractionBicategoryMathematics::Algebraic TopologyWeak equivalence18D05 18B40 18E10 18A40Surjective functionMorphismMathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Abelian groupMathematics
researchProduct

On spectra of geometric operators on open manifolds and differentiable groupoids

2001

We use a pseudodifferential calculus on differentiable groupoids to obtain new analytical results on geometric operators on certain noncompact Riemannian manifolds. The first step is to establish that the geometric operators belong to a pseudodifferential calculus on an associated differentiable groupoid. This then leads to Fredholmness criteria for geometric operators on suitable noncompact manifolds, as well as to an inductive procedure to compute their essential spectra. As an application, we answer a question of Melrose on the essential spectrum of the Laplace operator on manifolds with multicylindrical ends.

Discrete mathematicsPure mathematicsHigher-dimensional algebraMathematics::Operator AlgebrasGeneral MathematicsEssential spectrumMathematics::Spectral TheoryOperator theoryCompact operatorQuasinormal operatorMathematics::K-Theory and HomologyDouble groupoidMathematics::Differential GeometryDifferentiable functionMathematics::Symplectic GeometryLaplace operatorMathematicsElectronic Research Announcements of the American Mathematical Society
researchProduct

External derivations of internal groupoids

2008

If His a G-crossed module, the set of derivations of Gin H is a monoid under the Whitehead product of derivations. We interpret the Whitehead product using the correspondence between crossed modules and internal groupoids in the category of groups. Working in the general context of internal groupoids in a finitely complete category, we relate derivations to holomorphisms, translations, affine transformations, and to the embedding category of a groupoid. (C) 2007 Elsevier B.V. All rights reserved.

Higher-dimensional algebraAlgebra and Number TheoryComplete categoryCategory of groupsContext (language use)derivations crossed modules internal groupoids holomorphismsAlgebraSettore MAT/02 - AlgebraMathematics::K-Theory and HomologyMathematics::Category TheoryMonoid (category theory)EmbeddingAffine transformationMathematics::Symplectic GeometryMathematicsWhitehead productJournal of Pure and Applied Algebra
researchProduct

On Fibrations Between Internal Groupoids and Their Normalizations

2018

We characterize fibrations and $$*$$ -fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for $$*$$ -fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and $$*$$ -fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.

Normalization (statistics)Pure mathematicsInternal groupoid Fibration Strong h-pullback Protomodular categoryGeneral Computer ScienceFibrationSnake lemmaStrong h-pullbackMathematics::Algebraic Topology01 natural sciencesTheoretical Computer ScienceMathematics::Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciences0101 mathematicsMathematics::Symplectic GeometryMathematicsExact sequenceInternal groupoidAlgebra and Number TheoryFunctorHomotopy010102 general mathematicsFibrationInternal versionSettore MAT/02 - AlgebraProtomodular categoryTheory of computation010307 mathematical physicsApplied Categorical Structures
researchProduct

The Dawning of Computational Psychoanalysis

2014

In this paper, the author wishes first to highlight, within the general cultural context, some possible elementary computational psychoanalysis formalizations concerning Matte Blanco's bi-logic components through certain very elementary mathematical tools and notions drawn from theoretical physics and algebra. Afterwards, on the basis of recent work of Giampaolo Sasso (1999; 2005; 2011), relying on the crucial crossroad between neurosciences and psychoanalysis, it will be possible to identify some hints for further formalization attempts turned toward a computational psychoanalysis outlook. Lastly, possible interesting relationships with cognitive informatics are also outlined.

Psychoanalysisbi-logicComputer sciencemedia_common.quotation_subjectCultural contextdouble bindobject relationshipgroupoidoscillationsymmetry breakingObject RelationshipHuman-Computer InteractionresonanceconsciousneArtificial IntelligenceCognitive informaticsdenotational mathematics.introjective and projective processeAlgebra over a fieldConsciousnessbundleSoftwaremedia_commonInternational Journal of Cognitive Informatics and Natural Intelligence
researchProduct

The snail lemma for internal groupoids

2019

Abstract We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.

Pure mathematicsExact sequenceLemma (mathematics)Internal groupoid Snail lemma Fibration Snake lemmaAlgebra and Number TheoryFunctorMathematics::Operator Algebras010102 general mathematicsFibrationMathematics - Category Theory01 natural sciences18B40 18D35 18G50Settore MAT/02 - AlgebraMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFOS: MathematicsCategory Theory (math.CT)Regular category010307 mathematical physics0101 mathematicsMathematics::Symplectic GeometryMathematics
researchProduct

Bipullbacks of fractions and the snail lemma

2017

Abstract We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a π 0 - π 1 exact sequence associated with a fractor between groupoids internal to a pointed exact category.

Pure mathematicsLemma (mathematics)Exact sequenceInternal groupoidAlgebra and Number Theory010102 general mathematicsMathematics - Category TheoryBicategory of fraction18B40 18D05 18E35 18G5001 natural sciencesMathematics::Algebraic TopologySettore MAT/02 - AlgebraExact categoryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFOS: MathematicsBipullbackSnail lemmaCategory Theory (math.CT)010307 mathematical physics0101 mathematicsMathematics
researchProduct

Semidirect products of internal groupoids

2010

We give a characterization of those finitely complete categories with initial object and pushouts of split monomorphisms that admit categorical semidirect products. As an application we examine the case of groupoids with fixed set of objects. Further, we extend this to the internal case. (C) 2010 Elsevier B.V. All rights reserved.

Set (abstract data type)AlgebraSettore MAT/02 - AlgebraHigher-dimensional algebraAlgebra and Number Theorysemi-direct product groupoid internal structuresMathematics::Category TheoryCharacterization (mathematics)Categorical variableInitial and terminal objectsMathematicsJournal of Pure and Applied Algebra
researchProduct

Braided and symmetric internal groupoids

2011

Braided and symmetric internal groupoids in semi-abelian categories are discussed.

Settore MAT/02 - AlgebraInternal groupoids braided symmetric
researchProduct