we give the concept of ‘braiding’ for 2-groupoids, and we show that this structure is equivalent tobraided regular, crossed modules.

$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...

We study internal structures in the category of algebras for an operad, and show that these themselves admit an operadic description. The main case of interest is where the operad is on an abelian category, and the internal structures in question are those of internal category, internal n-category, or internal (cubical) n-tuple category. This allows an operadic treatment of crossed modules and ...

The notion of an internal category in a left exact cosimplicial category is introduced. For any topos over sets a certain left exact cosimplicial category is constructed functorially and the category of internal categories in it is investigated. The notion of a fundamental group is defined for toposes admitting the notion of “a discrete category.” Introduction Our primary interest in this paper...

Category Ratio Scale Category External Internal Abstract Nominal Scale Category External InternalNominal Scale Category External Internal Oridinal Scale Magnitude Equal Interval Absolute Zero Abstract Ratio Scale Nominal Scale Ratio Scale Ratio ScaleRatio Scale Nominal Scale Ratio Scale Ratio Scale (A) Shape→File Size (B) Length→File Type (C) Length→File Size Excel Word Draw

The aim of this paper is to describe Quillen model category structures on the category CatC of internal categories and functors in a given finitely complete category C. Several non-equivalent notions of internal equivalence exist; to capture these notions, the model structures are defined relative to a given Grothendieck topology on C. Under mild conditions on C, the regular epimorphism topolog...

this paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical galois theory and involves generalized central extensions, commutators, and internal groupoids in barr exact mal’tsev and more general categories. galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...