A construction of right groups from a connected groupoid.
A Continuity Criterion for Functors.
A convenient category for directed homotopy.
A duality between infinitary varieties and algebraic theories
A duality between -ary varieties and -ary algebraic theories is proved as a direct generalization of the finitary case studied by the first author, F.W. Lawvere and J. Rosick’y. We also prove that for every uncountable cardinal , whenever -small products commute with -colimits in , then must be a -filtered category. We nevertheless introduce the concept of -sifted colimits so that morphisms between -ary varieties (defined to be -ary, regular right adjoints) are precisely the functors...
A duality relative to a limit doctrine.
A factorization of quasiorder hypergroups
The contribution is devoted to the question of the interchange of the construction of a quasiorder hypergroup from a quasiordered set and the factorization.
A Functorial Construction of Fibre Bundles with a Structural Group
A Galois theory with stable units for simplicial sets.
A General Spatial Structure On Classes
A generalized duality theorem for structure functors
A lifting theorem for right adjoints
A logic of injectivity.
A matrix characterization of the maximal groups in
A note monies and epics in varieties of categories
A note on categories of partial algebras
A note on compactifications of products of semigroups.
A note on direct-product decompositions
A note on discrete Conduché fibrations.
A note on epimorphisms in algebraic categories
A note on epimorphisms of compact Lawson semilattices.