Search results for "epimorphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
198	Till Plewe	Quotient Maps of Locales.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed surjections, simple coverings, singly generated frame extensions, extremal epimorphisms, regular epimorphisms, quotient maps, weak quotient maps, equationally closed subframes, locales
91	Dikran Dikranjan, Hans-Peter A. Künzi	Separation and Epimorphisms in Quasi-Uniform Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	quasi-uniform space, uniform space, (regular, semiregular) closure operator, sequential closure, S()-space, separated space, epimorphism, closure
71	Gunter Bruns, John Harding	Epimorphisms in Certain Varieties of Algebras.	Order	2000	DBLP DOI BibTeX RDF	epimorphism, ortholattice, orthomodular lattice
47	Willem J. Blok, Eva Hoogland	The Beth Property in Algebraic Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic
47	Ana Helena Roque	Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	prevariety, structures for a first order language and generalizations, regular epimorphisms, (effective) descent morphisms, variety
47	Till Plewe, Ales Pultr, Anna Tozzi	Regular Monomorphisms of Hausdorff Frames.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames
41	Jirí Adámek, Michel Hébert, Lurdes Sousa	The Orthogonal Subcategory Problem and the Small Object Argument.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Orthogonal subcategory problem, Small object argument, Injectivity logic, Presentable morphism, Orthogonality logic
41	Richard N. Ball, Anthony W. Hager	Epi-topology and Epi-convergence for Archimedean Lattice-ordered Groups with Unit.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F20, 18A20, 22A30, 46H15, 54C35, 54A20
30	Ulrik Buchholtz, Tom de Jong, Egbert Rijke	Epimorphisms and Acyclic Types in Univalent Mathematics.	CoRR	2024	DBLP DOI BibTeX RDF
30	N. Sohail, A. H. Shah, S. A. Ahangar	On lax epimorphisms of partially ordered monoids.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
30	Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg	Epimorphisms, Definability and Cardinalities.	Stud Logica	2020	DBLP DOI BibTeX RDF
30	Rok Pozar	Computing stable epimorphisms onto finite groups.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
30	Riccardo Camerlo, Raphaël Carroy, Alberto Marcone	Erratum to: Epimorphisms Between Linear Orders.	Order	2016	DBLP DOI BibTeX RDF
30	Robert S. Lubarsky, Norman Lewis Perlmutter	Elementary epimorphisms between models of set theory.	Arch. Math. Log.	2016	DBLP DOI BibTeX RDF
30	Riccardo Camerlo, Raphaël Carroy, Alberto Marcone	Epimorphisms Between Linear Orders.	Order	2015	DBLP DOI BibTeX RDF
30	James Richard Andrew Gray, Nelson Martins-Ferreira	On Algebraic and More General Categories Whose Split Epimorphisms Have Underlying Product Projections.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
30	Steven Gay	Subgraph Epimorphisms: Theory and Application to Model Reductions in Systems Biology.		2015	RDF
30	Ana-Loredana Agore, Stefaan Caenepeel, Gigel Militaru	Braidings on the Category of Bimodules, Azumaya Algebras and Epimorphisms of Rings.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
30	Tarek Sayed Ahmed	Epimorphisms are not surjective, even in simple algebras.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
30	George Janelidze, Manuela Sobral	Descent for Regular Epimorphisms in Barr Exact Goursat Categories.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
30	Mohammed Ahmed Al Shumrani	On Strong Monomorphisms and Strong Epimorphisms.	Int. J. Math. Math. Sci.	2010	DBLP DOI BibTeX RDF
30	Mohamed El-Ghali M. Abdallah, L. N. Gab-Alla, Sayed Khalil M. Elagan	On semilattices of groups whose arrows are epimorphisms.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
30	Philipp Rothmaler	Elementary epimorphisms.	J. Symb. Log.	2005	DBLP DOI BibTeX RDF
30	Ralf Gramlich, Hendrik Van Maldeghem	Epimorphisms of Generalized Polygons Part 1: Geometrical Characterizations.	Des. Codes Cryptogr.	2000	DBLP BibTeX RDF
30	Juraj Cincura	Coreflections Versus Regular Epimorphisms in Categories of Topological Spaces.	Appl. Categorical Struct.	1998	DBLP DOI BibTeX RDF
30	C. Kanta Gupta, Gennady A. Noskov	Splitting Epimorphisms of Free Metabelian Groups.	Int. J. Algebra Comput.	1997	DBLP DOI BibTeX RDF
30	Ralf Kemper	Epimorphisms of Separated Superconvex Spaces.	Appl. Categorical Struct.	1997	DBLP DOI BibTeX RDF
30	Ralf Kemper	Epimorphisms of separated totally convex spaces.	Appl. Categorical Struct.	1995	DBLP DOI BibTeX RDF
30	Ildikó Sain	Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
30	Ronald E. Prather	Epimorphisms in Certain Categories of Transducers	Inf. Control.	1972	DBLP DOI BibTeX RDF
27	Larisa Maksimova	Projective Beth Property in Extensions of Grzegorczyk Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic
27	Manuela Sobral	Descent for Discrete (Co)fibrations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms
21	Tamar Janelidze	Relative Semi-abelian Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18G50, 18G25, 18B10
21	Tarek Sayed Ahmed	On Amalgamation in Algebras of Logic.	Stud Logica	2005	DBLP DOI BibTeX RDF	substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation
21	Lutz Schröder, Horst Herrlich	Free Factorizations.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	graph, factorization, category, word problem, retraction
21	Lali Barrière, Pierre Fraigniaud, Evangelos Kranakis, Danny Krizanc	Efficient Routing in Networks with Long Range Contacts.	DISC	2001	DBLP DOI BibTeX RDF
21	Romaine Jayewardene, Oswald Wyler	Categories of Relations and Functional Relations.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	subobject, functional relation, induced relation, map, relation
21	Michael Barr	HSP Type Theorems in the Category of Posets.	MFPS	1991	DBLP DOI BibTeX RDF
21	Jan Reiterman, Vera Trnková	From Dynamic Algebras to Test Algebras.	MFCS	1984	DBLP DOI BibTeX RDF
21	Alfred A. Schmitt	Zur Theorie der nichtdeterministischen und unvollständigen Automaten.	Computing	1969	DBLP DOI BibTeX RDF