A construction of right groups from a connected groupoid.
À propos de «Toposes, triples and theories» de messieurs M. Barr et C. Wells
Abstract initiality
We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preserving functors; morphisms that are initial w.r.t. all faithful monomorphism-preserving functors are monomorphisms, but need not be extremal; and (under weak...
Algèbres graphiques (suites : Les bidules)
Algèbres graphiques (sur un concept de dimension dans les langages formels)
Algébricité, monadicité, esquissabilité et non-algébricité
Approche polygraphique des -catégories non strictes
Categorical abstract data type (CADT)
Categorical constructions in graph theory.
Categorical models and quasigroup homotopies.
Categories with slicing.
Classification problems in K-categories
Coherence of Proof-net Categories
Deductive systems and categories.
Diagrammes localement libres extensions de corps et théorie de Galois
Diagrammes structurés de modèles
Duality for simple -categories and disks.
Effective taxonomies and crossed taxonomies
Eine Bemerkung über ausgezeichnete Kongruenzrelationen der Brandtschen Gruppoiden
Einige Bemerkungen über freie Kategorien und freie Gruppoide