ACS
2005
13 years 11 months ago
2005
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...
ACS
2005
13 years 11 months ago
2005
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well ...
ACS
2005
13 years 11 months ago
2005
ACS
2005
13 years 11 months ago
2005
The quasicategory Q of all set functors (i.e. endofunctors of the category SET of all sets and mappings) and all natural transformations has a terminal object
ACS
2005
13 years 11 months ago
2005
ACS
2005
13 years 11 months ago
2005
We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are giv...
ACS
2006
13 years 11 months ago
2006
We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J....
ACS
2006
13 years 11 months ago
2006
We propose a class of in nite comatrix corings, and describe them as colimits of systems of usual comatrix corings. The in nite comatrix corings of El Kaoutit and Gomez Torrecillas...
ACS
2006
13 years 11 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...
ACS
2006
13 years 11 months ago
2006
cal Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems George Voutsadakis Received: 24 May 2006 / Accepted: 28 August 2006 / Published online: 25 October 2006