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 |
|