Search results for "cocomplete"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	M. V. Mielke	Final Lift Actions Associated with Topological Functors.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	topological category, final lift actions
58	Helmut Röhrl	Completeness and Cocompleteness of RSmod1 N.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	prenormed semimodule, N-summation, cocomplete, free objects, complete
44	Jirí Velebil	Categorical Generalization of a Universal Domain.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	Scott domain, Scott complete category, universal domain
42	Isar Stubbe	Towards "dynamic domains": Totally continuous cocomplete Q-categories.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
42	Isar Stubbe	Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories.	MFPS	2005	DBLP DOI BibTeX RDF
22	Mark Weber	Yoneda Structures from 2-toposes.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05
22	Jean Goubault-Larrecq	On Noetherian Spaces.	LICS	2007	DBLP DOI BibTeX RDF
22	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
22	Gordon D. Plotkin, John Power	Algebraic Operations and Generic Effects.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Lawvere theory, monad, computational effect, algebraic operation
22	Ross Street	Functorial Calculus in Monoidal Bicategories.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	enriched category, dinatural transformation, Gray monoid, dual
22	Mehrdad Sabetzadeh, Steve M. Easterbrook	Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach.	ASE	2003	DBLP DOI BibTeX RDF
22	Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin	Countable Non-Determinism and Uncountable Limits.	CONCUR	1994	DBLP DOI BibTeX RDF
22	Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas	A Categorial Theory of Objects as Observed Processes.	REX Workshop	1990	DBLP DOI BibTeX RDF	object morphism, object aggregation, object inheritance, object reification, process, object, object-oriented system, behaviour, parallel composition

Displaying result #1 - #13 of 13 (100 per page; Change: )