Search results for "functors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Sandip K. Biswas	Higher-Order Functors with Transparent Signatures.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
70	David B. MacQueen, Mads Tofte	A Semantics for Higher-Order Functors.	ESOP	1994	DBLP DOI BibTeX RDF
63	Zhong Shao	Transparent Modules with Fully Syntactic Signatures.	ICFP	1999	DBLP DOI BibTeX RDF
63	A. Barkhudaryan	Endofunctors of Set Determined by Their Object Map.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	endofunctors of the category of sets, DVO functors
57	Elias Gabriel Minian	Loop and Suspension Functors for Small Categories and Stable Homotopy Groups.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	small categories, CW-complexes, algebraic homotopy
57	Adrian Fiech	Category of Delta-Functors.	MFPS	1993	DBLP DOI BibTeX RDF
51	Allan Cheng, Mogens Nielsen	Open Maps, Behavioural Equivalences, and Congruences.	CAAP	1996	DBLP DOI BibTeX RDF	Open maps, P-bisimilarity, P-factorisability, process algebra, category theory, congruences
51	Jan J. M. M. Rutten	A Strucutral Co-Induction Theorem.	MFPS	1993	DBLP DOI BibTeX RDF
50	Wolfgang Schreiner, Werner Danielczyk-Landerl, Mircea Marin, Wolfgang Stöcher	A Generic Programming Environment for High-Performance Mathematical Libraries.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic libraries, specifications, computer algebra, functors
45	Scott Owens, Matthew Flatt	From structures and functors to modules and units.	ICFP	2006	DBLP DOI BibTeX RDF	component, structure, module, unit, functor
45	Jean-Christophe Filliâtre, Pierre Letouzey	Functors for Proofs and Programs.	ESOP	2004	DBLP DOI BibTeX RDF
45	Jan Broeckhove, Kurt Vanmechelen	Using C++ Functors with Legacy C Libraries.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
45	Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen	Weak Factorization Systems and Topological Functors.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	weak factorization systems, full functor, topological functor, cofibrantly generated, poset
45	Xavier Leroy	Applicative Functors and Fully Transparent Higher-Order Modules.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
44	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
39	Hongxing Liu	Hom functors and tensor product functors in fuzzy S-act category.	Neural Comput. Appl.	2012	DBLP DOI BibTeX RDF
38	Libor Barto	Weakly Terminal Objects in Quasicategories of SET Endofunctors.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	weakly terminal object, set functor, rigid object
38	David N. Yetter	Measurable Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	monoidal bicategory, Borel space, direct integral, measurable cetegory, monoidal category
38	George E. Strecker	Flows With Respect to a Functor.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	(E,M)-functor, coadjoint functor, wolf, strongly complete, extremally complete, completeness, factorization, flow
38	Stefan Kahrs	First-Class Polymorphism for ML.	ESOP	1994	DBLP DOI BibTeX RDF
38	R. Ramesh 0001, I. V. Ramakrishnan, David Scott Warren	Automata-Driven Indexing of Prolog Clauses.	POPL	1990	DBLP DOI BibTeX RDF	Prolog
37	Volodymyr Lyubashenko	The Triangulated Hopf Category n+SL(2).	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	derived categories, derived functors, quantum groups, braided Hopf algebras
37	Abbas Edalat, Michael B. Smyth	Compact Metric Information Systems (Extended Abstract).	REX Workshop	1992	DBLP DOI BibTeX RDF	metric information systems, strong inclusion, Stone duality, I-category, Cauchy chains, contracting functors, unique fixed point, domain equations
37	Pierre America, Jan J. M. M. Rutten	Solving Reflexive Domain Equations in a Category of Complete Metric Spaces.	MFPS	1987	DBLP DOI BibTeX RDF	complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations
32	Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe	Exponentiable Functors Between Quantaloid-Enriched Categories.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F07, 18A22, 18D20, 18D05
32	Christoph Schubert	Terminal Coalgebras for Measure-Polynomial Functors.	TAMC	2009	DBLP DOI BibTeX RDF
32	Lawrence S. Moss	Uniform Functors on Sets.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
32	Andrew U. Frank	Map Algebra Extended with Functors for Temporal Data.	ER (Workshops)	2005	DBLP DOI BibTeX RDF
32	Michael H. Freedman	Quantum Computation and the Localization of Modular Functors.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF	AMS Classification, Primary 57R56, Secondary 68Q05, 81Q70, 82B10, 94B99, 20F36
32	Christoph Beierle, Angi Voß	Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
25	Conal M. Elliott	Push-pull functional reactive programming.	Haskell	2009	DBLP DOI BibTeX RDF	semantics, concurrency, data-driven, functional reactive programming, demand-driven
25	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
25	Patricia Johann, Neil Ghani	Foundations for structured programming with GADTs.	POPL	2008	DBLP DOI BibTeX RDF	program fusion, GADTs, initial algebra semantics
25	Jorge Coelho 0001, Mário Florido	XCentric: logic programming for XML processing.	WIDM	2007	DBLP DOI BibTeX RDF	logic programming, XML processing
25	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
25	Ursula Martin, Erik Arne Mathiesen, Paulo Oliva	Hoare Logic in the Abstract.	CSL	2006	DBLP DOI BibTeX RDF
25	Stephen Lack	Limits for Lax Morphisms.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	2-monad, lax morphism, lax limit, monoidal functor
25	M. Bullejos, E. Faro, Víctor Blanco	A Full and Faithful Nerve for 2-Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF
25	Ignacio D. Viglizzo	Final Sequences and Final Coalgebras for Measurable Spaces.	CALCO	2005	DBLP DOI BibTeX RDF
25	Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger	A Nominal Theory of Objects with Dependent Types.	ECOOP	2003	DBLP DOI BibTeX RDF
25	Thorsten Altenkirch	Representations of First Order Function Types as Terminal Coalgebras.	TLCA	2001	DBLP DOI BibTeX RDF
25	C. Barry Jay	Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.	TLCA	2001	DBLP DOI BibTeX RDF
25	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
25	Hana Skoumalová, Markéta Stranáková-Lopatková, Zdenek Zabokrtský	Enhancing the Valency Dictionary of Czech Verbs: Tectogrammatical Annotation.	TSD	2001	DBLP DOI BibTeX RDF
25	Sébastien Ferré, Olivier Ridoux	A Framework for Developing Embeddable Customized Logics.	LOPSTR	2001	DBLP DOI BibTeX RDF
25	Andrea Corradini 0001, Fabio Gadducci	Functorial Semantics for Multi-algebras.	WADT	1998	DBLP DOI BibTeX RDF
25	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
25	Luca Bernardinello, Lucia Pomello	A Category of Transition Systems and Its Relations with Orthomodular Posets.	MFCS	1997	DBLP DOI BibTeX RDF
25	Philip S. Mulry	Lifting Theorems for Kleisli Categories.	MFPS	1993	DBLP DOI BibTeX RDF
25	Andrzej Tarlecki	Free Constructions in Algebraic Institutions.	MFCS	1984	DBLP DOI BibTeX RDF
25	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
25	Matías Menni	About N-quantifiers.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	adjoint functors, quantifiers, variable binding
25	Derek Dreyer, Karl Crary, Robert Harper 0001	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
25	Martin Jakob	Bivariant Theories for Smooth Manifolds.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	geometric bordism, generalized cohomology theories, functors on smooth manifolds and on spaces of smooth maps
25	Horst Herrlich, Miroslav Husek	Some open categorical problems in Top.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors
19	Andreas Abel 0001	Equivalence of Applicative Functors and Multifunctors.	CoRR	2024	DBLP DOI BibTeX RDF
19	Jonathan Gorard	Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations.	CoRR	2024	DBLP DOI BibTeX RDF
19	Rui Prezado, Fernando Lucatelli Nunes	Descent for internal multicategory functors.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
19	Ezra Schoen, Jade Master, Clemens Kupke	Relative fixed points of functors.	CoRR	2023	DBLP DOI BibTeX RDF
19	Víctor Dalmau, Andrei A. Krokhin, Jakub Oprsal	Functors on relational structures which admit both left and right adjoints.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Kripke, Vietoris and Hausdorff Polynomial Functors.	CoRR	2023	DBLP DOI BibTeX RDF
19	Dorel Lucanu	Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.	FROM	2023	DBLP DOI BibTeX RDF
19	Friedrich Wehrung	Projective classes as images of accessible functors.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
19	Mark Kamsma	Type space functors and interpretations in positive logic.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
19	Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild	Kantorovich Functors and Characteristic Logics for Behavioural Distances.	FoSSaCS	2023	DBLP DOI BibTeX RDF
19	Yueming Xiang	On Relative Extension Functors, $R$-resolutions and Schanuel Classes.	ICEITSA	2023	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).	CALCO	2023	DBLP DOI BibTeX RDF
19	Giacomo Tendas	On Continuity of Accessible Functors.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
19	Heiko Dietrich, Primoz Moravec	On Two Group Functors Extending Schur Multipliers.	Exp. Math.	2022	DBLP DOI BibTeX RDF
19	Toby St Clere Smithe	Open dynamical systems as coalgebras for polynomial functors, with application to predictive processing.	ACT	2022	DBLP DOI BibTeX RDF
19	David I. Spivak	Polynomial functors and Shannon entropy.	ACT	2022	DBLP DOI BibTeX RDF
19	Jules Jacobs, Thorsten Wißmann	Coalgebraic Partition Refinement For All Functors.	CoRR	2022	DBLP DOI BibTeX RDF
19	Christian Antic	Proportional algebras, homomorphisms, congruences, and functors.	CoRR	2022	DBLP DOI BibTeX RDF
19	Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel	Quotients of Bounded Natural Functors.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
19	Marcelo Fiore, Zeinab Galal, Hugo Paquet	A Combinatorial Approach to Higher-Order Structure for Polynomial Functors.	FSCD	2022	DBLP DOI BibTeX RDF
19	Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller	A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.	MFPS	2021	DBLP DOI BibTeX RDF
19		Algebraic cocompleteness and finitary functors.	CoRR	2021	DBLP BibTeX RDF
19	Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel	Quotients of Bounded Natural Functors.	CoRR	2021	DBLP BibTeX RDF
19	Dan Shiebler	Flattening Multiparameter Hierarchical Clustering Functors.	CoRR	2021	DBLP BibTeX RDF
19	Jonathan Protzenko, Son Ho	Zero-cost meta-programmed stateful functors in F.	CoRR	2021	DBLP BibTeX RDF
19	Jirí Adámek	Algebraic cocompleteness and finitary functors.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
19	Georgi Nakov, Fredrik Nordvall Forsberg	Quantitative Polynomial Functors.	TYPES	2021	DBLP DOI BibTeX RDF
19	Barbara F. Csima, Dino Rossegger, Daniel Yu	Positive Enumerable Functors.	CiE	2021	DBLP DOI BibTeX RDF
19	Georgi Nakov, Fredrik Nordvall Forsberg	Quantitative Polynomial Functors (Early Ideas).	CALCO	2021	DBLP DOI BibTeX RDF
19	Aaron Lye	Transformations of Reaction Systems Over Categories by Means of Epi-Mono Factorization and Functors.	ICGT	2021	DBLP DOI BibTeX RDF
19	Sebastian Posur	Closing the category of finitely presented functors under images made constructive.	Compositionality	2020	DBLP DOI BibTeX RDF
19	Shijie Zhu	Functors and Morphisms Determined by Subcategories.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
19	Jirí Mockor	Functors among Relational Variants of Categories Related to L-Fuzzy Partitions, L-Fuzzy Pretopological Spaces and L-Fuzzy Closure Spaces.	Axioms	2020	DBLP DOI BibTeX RDF
19	Krystian Jobczyk	The Fuzzified Natural Transformation between Categorial Functors and Its Selected Categorial Aspects.	Symmetry	2020	DBLP DOI BibTeX RDF
19	Yuichi Nishiwaki, Toshiya Asai	Logic of computational semi-effects and categorical gluing for equivariant functors.	CoRR	2020	DBLP BibTeX RDF
19	Andreas Lochbihler, Ognjen Maric	Authenticated Data Structures As Functors.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
19	Magne Haveraaen, Markus Roggenbach	Specifying with syntactic theory functors.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
19	H. Peter Gumm	Free-Algebra Functors from a Coalgebraic Perspective.	CMCS	2020	DBLP DOI BibTeX RDF
19	Andreas Lochbihler, Ognjen Maric	Authenticated Data Structures as Functors in Isabelle/HOL.	FMBC@CAV	2020	DBLP DOI BibTeX RDF
19	Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel	Quotients of Bounded Natural Functors.	IJCAR (2)	2020	DBLP DOI BibTeX RDF
19	Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino	Selective applicative functors.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
19	Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu 0001, Dmitriy Traytel	Bindings as bounded natural functors.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
19	Marek W. Zawadowski	co-Semi-analytic Functors.	Fundam. Informaticae	2019	DBLP DOI BibTeX RDF
19	Jorge Cely, Michel Raibaut	On the Commutativity of pull-Back and Push-Forward Functors on Motivic Constructible Functions.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius	On functors preserving coproducts and algebras with iterativity.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF