Calcul des courants induits et des forces électromagnétiques dans un système de conducteurs mobiles
Calcul des satellites et présentations des bimodules à l'aide des carrés exacts
Calculating limits and colimits in pro-categories
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about étale homotopy types. We also correct some mistakes in the literature on this topic.
Cantors Diagonalprinzip für Kategorien.
Carrés exacts et carrés déductifs
Cartesian bicategories. II.
Categoría exponencialmente fiel: Un teorema sobre functores adjuntos.
Let P be a small category and A(B) a category such that the functor A → AP (B → BP) determined by the projection functor A x P → A (B x P → B) has an adjoint for all small category P. A functor G: B → AP has an adjoint functor if and only if it has and adjoint functor "via" evaluation. If Q is another small category and F: P → Q an arbitrary functor, the functor AF: AQ → AP has an adjoint functor.
Categorial refinements and their relation to reflective subcategories
Categorical abstract data type (CADT)
Categorical constructions in graph theory.
Categorical data-specifications.
Categorical domain theory: Scott topology, powercategories, coherent categories.
Categorical investigation of -graded -algebras
Categorical models and quasigroup homotopies.
Categorical Pullbacks
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors [14] and it...
Categorical structures enriched in a quantaloid: categories, distributors and functors.
Catégories à sommes commutables
Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies
Catégories accessibles à produits fibrés
Catégories de Peano et catégories algorithmiques, récursivité