Search results for "adjunctions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Lili Shen, Xiaoye Tang	Isbell Adjunctions and Kan Adjunctions via Quantale-Enriched Two-Variable Adjunctions.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
76	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
64	Renato Keshet, Henk J. A. M. Heijmans	Adjunctions in Pyramids and Curve Evolution.	Scale-Space	2001	DBLP DOI BibTeX RDF
45	Hitoshi Furusawa	The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.	RelMiCS	2003	DBLP DOI BibTeX RDF
45	Dali Zangurashvili	Adjunctions and Locally Transferable Factorization Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	factorization system, local factorization system, universal split monomorphism, pointed endomapping, locally transferable factorization system, injective object, sufficient class of injectives
38	Robert Atkey	Algebras for Parameterised Monads.	CALCO	2009	DBLP DOI BibTeX RDF
27	Fernand Meyer, Jean Stawiaski	Morphology on Graphs and Minimum Spanning Trees.	ISMM	2009	DBLP DOI BibTeX RDF	adjunctions on graphs, minimum spanning tree, Waterfall
27	Piero Pagliani, Mihir K. Chakraborty	Formal Topology and Information Systems.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	formal topology, Galois adjunctions, information quanta, pointless topology, pretopology, rough sets, information systems, approximation spaces
27	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
27	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter	Relating Categorical Semantics for Intuitionistic Linear Logic.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	intuitionistic linear logic, symmetric monoidal closed categories, symmetric monoidal adjunctions, typed lambda calculus
27	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
27	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
26	Luca Reggio, Colin Riba	Finitely accessible arboreal adjunctions and Hintikka formulae.	CoRR	2023	DBLP DOI BibTeX RDF
26	Manuel Araújo	Coherence for adjunctions in a 3-category via string diagrams.	Compositionality	2022	DBLP DOI BibTeX RDF
26	Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano	Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications.	FLAP	2022	DBLP BibTeX RDF
26	Samy Blusseau, Santiago Velasco-Forero, Jesús Angulo, Isabelle Bloch	Morphological Adjunctions Represented by Matrices in Max-Plus Algebra for Signal and Image Processing.	DGMM	2022	DBLP DOI BibTeX RDF
26	José Nuno Oliveira	Why Adjunctions Matter - A Functional Programmer Perspective.	WADT	2022	DBLP DOI BibTeX RDF
26	Christoph Schwarzweller	Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
26	Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla	Computational Petri Nets: Adjunctions Considered Harmful.	CoRR	2019	DBLP BibTeX RDF
26	Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu	Relational algebra by way of adjunctions.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
26	Tommaso Moraschini	A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
26	Dragan Masulovic	Pre-adjunctions and the Ramsey property.	Eur. J. Comb.	2018	DBLP DOI BibTeX RDF
26	Exequiel Rivas	Relating Idioms, Arrows and Monads from Monoidal Adjunctions.	MSFP@FSCD	2018	DBLP DOI BibTeX RDF
26	Bassel Mannaa, Rasmus Ejlers Møgelberg	The clocks they are adjunctions: Denotational semantics for Clocked Type Theory.	CoRR	2018	DBLP BibTeX RDF
26	Robert Furber	Categorical Equivalences from State-Effect Adjunctions.	QPL	2018	DBLP DOI BibTeX RDF
26	P. F. Faul	Adjunctions in the study of broadcast domination with a cost function.	Australas. J Comb.	2018	DBLP BibTeX RDF
26	Bassel Mannaa, Rasmus Ejlers Møgelberg	The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory.	FSCD	2018	DBLP DOI BibTeX RDF
26	Adriana Balan	On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
26	Francesco Genovese	Adjunctions of Quasi-Functors Between DG-Categories.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
26	Andrew Salch	How many Adjunctions give Rise to the same Monad?	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
26	Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets	On the construction of adjunctions between a fuzzy preposet and an unstructured set.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
26	Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego	Towards relational fuzzy adjunctions.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
26	Eugene W. Stark	Category Theory with Adjunctions and Limits.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
26	Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot	Duality of Equations and Coequations via Contravariant Adjunctions.	CMCS	2016	DBLP DOI BibTeX RDF
26	Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego	On fuzzy relations, adjunctions, and functional fuzzy relations.	SSCI	2016	DBLP DOI BibTeX RDF
26	Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego	On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.	ICFCA	2015	DBLP DOI BibTeX RDF
26	Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez	On the definition of suitable orderings to generate adjunctions over an unstructured codomain.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
26	Henning Kerstan, Barbara König 0001, Bram Westerbaan	Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.	CMCS	2014	DBLP DOI BibTeX RDF
26	Koki Nishizawa, Hitoshi Furusawa	A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories.	RAMiCS	2014	DBLP DOI BibTeX RDF
26	Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego	On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.	RSCTC	2014	DBLP DOI BibTeX RDF
26	Fernand Meyer	Adjunctions on the Lattice of Dendrograms.	GbRPR	2013	DBLP DOI BibTeX RDF
26	Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud	Adjunctions for exceptions	CoRR	2012	DBLP BibTeX RDF
26	Bart Jacobs 0001, Jorik Mandemaker	Relating Operator Spaces via Adjunctions	CoRR	2012	DBLP BibTeX RDF
26	Elias Zafiris	Rosen's modelling relations via categorical adjunctions.	Int. J. Gen. Syst.	2012	DBLP DOI BibTeX RDF
26	Javier J. Gutiérrez 0002	Transfer of algebras over operads along Quillen adjunctions.	J. Lond. Math. Soc.	2012	DBLP DOI BibTeX RDF
26	Lingqiang Li, Qiu Jin	On adjunctions between Lim, SL-Top, and SL-Lim.	Fuzzy Sets Syst.	2011	DBLP DOI BibTeX RDF
26	Christian Ronse	Adjunctions on the lattices of partitions and of partial partitions.	Appl. Algebra Eng. Commun. Comput.	2010	DBLP DOI BibTeX RDF
26	Ralf Hinze	Generic Programming with Adjunctions.	SSGIP	2010	DBLP DOI BibTeX RDF
26	Yun Shi, Mike Nachtegael, Da Ruan 0001, Etienne E. Kerre	Fuzzy adjunctions and fuzzy morphological operations based on implications.	Int. J. Intell. Syst.	2009	DBLP DOI BibTeX RDF
26	Paul Blain Levy	Monads and Adjunctions for Global Exceptions.	MFPS	2006	DBLP DOI BibTeX RDF
26	Kosta Dosen, Zoran Petric	Negation and Involutive Adjunctions.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
26	Claudio Hermida, Paulo Mateus	Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
26	Izumi Ojima	A Unified Scheme for Generalized Sectors Based on Selection Criteria: Order Parameters of Symmetries and of Thermality and Physical Meanings of Adjunctions.	Open Syst. Inf. Dyn.	2003	DBLP DOI BibTeX RDF
26	Renato Keshet, Henk J. A. M. Heijmans	Adjunctions in Pyramids, Curve Evolution and Scale-Spaces.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF
26	Miguel A. Alonso 0001, Víctor J. Díaz	Parsing Tree Adjoining Grammars and Tree Insertion Grammars with Simultaneous Adjunctions.	IWPT	2003	DBLP BibTeX RDF
26	Ola Angelsmark	Constraints, Adjunctions and (Co)algebras.	CMCS	2000	DBLP DOI BibTeX RDF
26	Günther Richter	Reflective relatives of adjunctions.	Appl. Categorical Struct.	1996	DBLP DOI BibTeX RDF
26	Michael W. Mislove, Frank J. Oles	Adjunctions Between Categories of Domains.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
26	Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Julia Padberg	The Category of Typed Graph Grammars and its Adjunctions with Categories.	TAGT	1994	DBLP DOI BibTeX RDF
26	Claudio Hermida	On Fibred Adjunctions and Completeness for Fibred Categories.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
26	C. E. Martin, C. A. R. Hoare, Jifeng He 0001	Pre-Adjunctions in Order Enriched Categories.	Math. Struct. Comput. Sci.	1991	DBLP DOI BibTeX RDF
19	Isabelle Bloch	Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial Reasoning.	ECSQARU	2009	DBLP DOI BibTeX RDF	Fuzzy mathematical morphology, bipolar mathematical morphology, bipolar spatial information, spatial reasoning, spatial relations
19	Jean Cousty, Laurent Najman, Jean Serra	Some Morphological Operators in Graph Spaces.	ISMM	2009	DBLP DOI BibTeX RDF
19	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
19	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
19	Pierre-Louis Curien	The Joy of String Diagrams.	CSL	2008	DBLP DOI BibTeX RDF
19	José Luiz Fiadeiro, Vincent Schmitt	Structured Co-spans: An Algebra of Interaction Protocols.	CALCO	2007	DBLP DOI BibTeX RDF
19	Roman S. Dubtsov	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
19	Dusko Pavlovic, Michael W. Mislove, James Worrell 0001	Testing Semantics: Connecting Processes and Process Logics.	AMAST	2006	DBLP DOI BibTeX RDF
19	Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes	Approximation Problems Categories.	EUROCAST	2005	DBLP DOI BibTeX RDF
19	Piero Pagliani	Information quanta and approximation spaces II: generalised approximation spaces.	GrC	2005	DBLP DOI BibTeX RDF
19	Constantine Tsinakis, Han Zhang	Order Algebras as Models of Linear Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	net semantics, partially ordered monoids, Petri nets, linear logic, quantales
19	Petros Maragos, Vassilis Tzouvaras, Giorgos B. Stamou	Lattice Fuzzy Signal Operators and Generalized Image Gradients.	IFSA	2003	DBLP DOI BibTeX RDF
19	John G. Stell	A Framework for Order-Sorted Algebra.	AMAST	2002	DBLP DOI BibTeX RDF
19	Petros Maragos, Vassilis Tzouvaras, Giorgos B. Stamou	Synthesis and applications of lattice image operators based on fuzzy norms.	ICIP (1)	2001	DBLP DOI BibTeX RDF
19	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
19	Marcel Erné	Z-Continuous Posets and Their Topological Manifestation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	closure space, completely distributive, continuous poset, sober space, completion, compact, core
19	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
19	José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	On the Semantics of Petri Nets.	CONCUR	1992	DBLP DOI BibTeX RDF
19	Dexter Kozen	On Kleene Algebras and Closed Semirings.	MFCS	1990	DBLP DOI BibTeX RDF