Search results for "coproduct"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Zou Kaiqi, Deng Guannan	Product and Coproduct of CF Symmetric Group Categories.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
67	M. Golzy Vojdani, M. Mehdi Ebrahimi	Coproducts in the Category MKFrm.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	metric -frame, C-ideal, coproduct
58	Ainhoa Berciano, Helena Molina-Abril, Ana Pacheco, Pawel Pilarczyk, Pedro Real 0001	Decomposing Cavities in Digital Volumes into Products of Cycles.	DGCI	2009	DBLP DOI BibTeX RDF	cubical homology, cubical set, cavity, Alexander Whitney diagonal, algebraic gradient vector field, digital image, cycle, homology, cell complex, chain homotopy
58	Christoph Lüth, Neil Ghani	Composing monads using coproducts.	ICFP	2002	DBLP DOI BibTeX RDF
58	Christoph Lüth, Neil Ghani	Monads and Modularity.	FroCoS	2002	DBLP DOI BibTeX RDF
53	Gemma Casas-Garriga, José L. Balcázar	Coproduct Transformations on Lattices of Closed Partial Orders.	ICGT	2004	DBLP DOI BibTeX RDF
48	Richard N. Ball, Ales Pultr, Jirí Sichler	Configurations in Coproducts of Priestley Spaces.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Priestley space, ultrafilter, coproduct, distributive lattice
39	Hans Z. Munthe-Kaas, Will M. Wright	On the Hopf Algebraic Structure of Lie Group Integrators.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF
39	Alberto Facchini, Rogelio Fernández-Alonso	Subdirect Products of Preadditive Categories and Weak Equivalences.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 18E05, Secondary 08B26
39	Richard B. Kieburtz	Precise Typing of Abstract Data Type Specifications.	POPL	1983	DBLP DOI BibTeX RDF
34	Hu Zhao, Li-Yan Jia, Gui-Xiu Chen	Product and coproduct structures of (L, M)-fuzzy hull operators.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
34	Minyue Jin, Baoyong Li, Yu Xiong, Ratula Chakraborty, Yu Zhou 0011	Implications of coproduction technology on waste management: Who can benefit from the coproduct made of leftover materials?	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
34	Ciro Russo	Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.	Logica Universalis	2022	DBLP DOI BibTeX RDF
34	Nicolas Borie, Justine Falque	Product-Coproduct Prographs and Triangulations of the Sphere.	CoRR	2022	DBLP BibTeX RDF
34	Yangyang Peng, Xiaolin Xu, Xue Liang, Weili Xue	Mismatch risk allocation in a coproduct supply chain.	Ann. Oper. Res.	2020	DBLP DOI BibTeX RDF
34	Paul Drube, Maxwell Krueger, Ashley Skalsky, Meghan Wren	Set-valued Young tableaux and product-coproduct prographs.	Australas. J Comb.	2018	DBLP BibTeX RDF
34	Ying-Ju Chen, Brian Tomlin, Yimin Wang	Dual Coproduct Technologies: Implications for Process Development and Adoption.	Manuf. Serv. Oper. Manag.	2017	DBLP DOI BibTeX RDF
34	Ying-Ju Chen, Brian Tomlin, Yimin Wang	Coproduct Technologies: Product Line Design and Process Innovation.	Manag. Sci.	2013	DBLP DOI BibTeX RDF
28	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
28	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
28	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
19	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva 0001	An Algebra for Kripke Polynomial Coalgebras.	LICS	2009	DBLP DOI BibTeX RDF
19	Helena Molina-Abril, Pedro Real 0001	Advanced Homology Computation of Digital Volumes Via Cell Complexes.	SSPR/SPR	2008	DBLP DOI BibTeX RDF
19	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
19	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
19	Mojgan Mahmoudi, Christoph Schubert, Walter Tholen	Universality of Coproducts in Categories of Lax Algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 18C99, 18A30
19	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
19	Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem	On the Amnestic Modification of the Category of State Property Systems.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	closure space, state property system, amnestic modification
19	Faiza Belala, Mohamed Bettaz	A Natural Semantic Framework for ECATNets.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	ECATNets, concurrent systems, category theory, rewriting logic
19	Philippe de Groote	Strong Normalization of Classical Natural Deduction with Disjunction.	TLCA	2001	DBLP DOI BibTeX RDF
19	Jirí Adámek, Francis Borceux	Morita Equivalence of Sketches.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	Morita equivalence, sketch
19	G. M. Kelly, Stephen Lack	Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categories with structure, 2-monads, finite-product-preserving functors, Kan extensions
19	Carl A. Gunter	A Universal Domain Technique for Profinite Posets.	ICALP	1985	DBLP DOI BibTeX RDF