Sciweavers

ENTCS
2002
121views more  ENTCS 2002»
13 years 4 months ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický
ACS
2002
13 years 4 months ago
Azumaya Categories
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
Francis Borceux, Enrico Vitale