Search results for "functor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
127	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
87	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
73	Francesc Esteva, Lluís Godo	Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
69	Dali Zangurashvili	Some Categorical Algebraic Properties: Counter-Examples for Functor Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	congruence extension properties, functor category, cogenerating set, integral domain, metric space, transferability, field, finite group, amalgamation
62	Ignacio D. Viglizzo	Final Sequences and Final Coalgebras for Measurable Spaces.	CALCO	2005	DBLP DOI BibTeX RDF
58	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
57	Bernhard Banaschewski	On the Function Ring Functor in Pointfree Topology.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	completely regular frame, zero-dimensional frame, continuous functions in pointfree topology, left adjoint to the function ring functor, supports on f-rings, archimedean kernels
57	Gabriele Castellini, Eraldo Giuli	Closure Operators with Respect to a Functor.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	faithful functor, closure operator, factorization structure
48	Eugenio Moggi	Functor Categories and Two-Level Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
44	Annie Foret	Pregroup Calculus as a Logic Functor.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
42	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
37	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
37	David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.	FORTE	2008	DBLP DOI BibTeX RDF
37	Jingjing Ma, R. H. Redfield	Lattice-ordered Fields Determined by d -elements.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06F25, 06F15, 18A40, 15A03
37	Andrée C. Ehresmann	Localization of Universal Problems. Local Colimits.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	universal problem, colimit, category, poset, Galois theory
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
36	Bernhard Banaschewski, Ales Pultr	Adjointness Aspects of the Down-Set Functor.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	down-set frames, open and similar types of homomorphisms, adjunction, Booleanization
36	Dominique Bourn	The Structural Nature of the Nerve Functor for n-Groupoids.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	simplicial object, nerve, n-groupoid, fibration
33	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
33	Gabriele Castellini, Eraldo Giuli	U-Closure Operators and Compactness.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	faithful functor, compactness, separation, closure operator, factorization structure
33	Keith A. Hardie, Klaus Heiner Kamps, Howard J. Marcum, Nobuyuki Oda	Triple Brackets and Lax Morphism Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Toda bracket (matrix, box, triple, quaternary), (lax) morphism category, homotopy category, suspension functor, homotopy groups of spheres, 2-category
33	Ralf Kemper	p-Banach Spaces and p-Totally Convex Spaces. II.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	p-Banach space, p-normed vector space, p-totally convex space, p-absolutely convex space, comparison functor, congruence relation, Eilenberg-Moore category, monad
33	Jan J. M. M. Rutten, Daniele Turi	On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.	REX Workshop	1992	DBLP DOI BibTeX RDF	final semantics, non-well-founded sets, non-standard set theory, (F-)bisimulation, ordered F-bisimulation, concurrency, partial orders, metric spaces, fixed point, category, coalgebra, functor, domain equation
25	Gábor Czédli	Sums of Lattices and a Relational Category.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06B05
25	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Corecursive Algebras: A Study of General Structured Corecursion.	SBMF	2009	DBLP DOI BibTeX RDF
25	Conor McBride	Clowns to the left of me, jokers to the right (pearl): dissecting data structures.	POPL	2008	DBLP DOI BibTeX RDF	polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection
25	Anthony W. Hager, D. G. Johnson	Adjoining an Identity to a Reduced Archimedean f -ring, II: Algebras.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06F20, 13B10, Secondary 18A40, 54H10, 46A40, 54C30, 06F25
25	Ichiro Hasuo, Bart Jacobs 0001, Tarmo Uustalu	Categorical Views on Computations on Trees (Extended Abstract).	ICALP	2007	DBLP DOI BibTeX RDF
25	Hideo Mori	Functorial Properties of Formal Concept Analysis.	ICCS	2007	DBLP DOI BibTeX RDF
25	Marcello M. Bonsangue, Alexander Kurz 0001	Presenting Functors by Operations and Equations.	FoSSaCS	2006	DBLP DOI BibTeX RDF
25	Freiric Barral, Sergei Soloviev 0001	Inductive Type Schemas as Functors.	CSR	2006	DBLP DOI BibTeX RDF
25	Pierre P. Lévy	Pixelization Paradigm: Outline of a Formal Approach.	VIEW	2006	DBLP DOI BibTeX RDF
25	Stephen L. Bloom, Zoltán Ésik	Completing Categorical Algebras.	IFIP TCS	2006	DBLP DOI BibTeX RDF
25	Paul-André Melliès	Functorial Boxes in String Diagrams.	CSL	2006	DBLP DOI BibTeX RDF
25	Paolo Baldan, Andrea Corradini 0001, Luciana Foss, Fabio Gadducci	Graph Transactions as Processes.	ICGT	2006	DBLP DOI BibTeX RDF
25	Glynn Winskel	Name Generation and Linearity.	LICS	2005	DBLP DOI BibTeX RDF
25	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
25	Marcello M. Bonsangue, Alexander Kurz 0001	Duality for Logics of Transition Systems.	FoSSaCS	2005	DBLP DOI BibTeX RDF
25	H. Peter Gumm	From T-Coalgebras to Filter Structures and Transition Systems.	CALCO	2005	DBLP DOI BibTeX RDF
25	Gabriel Ciobanu, Viorel Mihai Gontineac	Algebraic and Coalgebraic Aspects of Membrane Computing.	Workshop on Membrane Computing	2005	DBLP DOI BibTeX RDF
25	Pilar Carrasco, Juan Martínez-Moreno	Simplicial Cohomology with Coefficients in Symmetric Categorical Groups.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	categorical groups, simplicial set, nerve, homotopy classes, cohomology
25	Gérard P. Huet	Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.	PADL	2003	DBLP DOI BibTeX RDF
25	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
25	M. V. Mielke	Final Lift Actions Associated with Topological Functors.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	topological category, final lift actions
25	Paolo Baldan, Roberto Bruni, Ugo Montanari	Pre-nets, Read Arcs and Unfolding: A Functorial Presentation.	WADT	2002	DBLP DOI BibTeX RDF
25	Dirk Pattinson	Semantical Principles in the Modal Logic of Coalgebras.	STACS	2001	DBLP DOI BibTeX RDF
25	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
25	Jens Blanck	Effectivity of Regular Spaces.	CCA	2000	DBLP DOI BibTeX RDF
25	Dusko Pavlovic	Semantics of First Order Parametric Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
25	L. J. Steggles	Parameterised Higher-Order Algebraic Specifications.	ALP/HOA	1997	DBLP DOI BibTeX RDF
25	Fabio Alessi, Paolo Baldan, Furio Honsell	Partializing Stone Spaces using SFP Domains (Extended Abstract).	TAPSOFT	1997	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	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
25	Hubert Baumeister	Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
25	James A. Altucher, Prakash Panangaden	A Mechanically Assisted Constructive Proof in Category Theory.	CADE	1990	DBLP DOI BibTeX RDF
25	William P. Coleman, David P. Sanford, Andrea De Gaetano, Fred Geisler	Logical Structure of Neurobiological Information Processing.	Great Lakes Computer Science Conference	1989	DBLP DOI BibTeX RDF
25	Robert Harper 0001, Robin Milner, Mads Tofte	A Type Discipline for Program Modules.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
24	Tyler Hanks, Matthew Klawonn, James P. Fairbanks	Generalized Gradient Descent is a Hypergraph Functor.	CoRR	2024	DBLP DOI BibTeX RDF
24	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	The Vietoris functor and modal operators on rings of continuous functions.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
24	Niccolò Veltri	Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.	FSCD	2021	DBLP DOI BibTeX RDF
24	Guram Bezhanishvili, Luca Carai, Patrick J. Morandi	Coalgebras for the powerset functor and Thomason duality.	CoRR	2020	DBLP BibTeX RDF
24	Manohar Kaul, Dai Tamaki	A Weighted Quiver Kernel using Functor Homology.	CoRR	2020	DBLP BibTeX RDF
24	Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer	Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
24	Piotr Tauzowski, Bartlomiej Blachowski, János Lógó	Functor-oriented topology optimization of elasto-plastic structures.	Adv. Eng. Softw.	2019	DBLP DOI BibTeX RDF
24	Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott	Programming Unikernels in the Large via Functor Driven Development.	CoRR	2019	DBLP BibTeX RDF
24	Brendan Fong, David I. Spivak, Rémy Tuyéras	Backprop as Functor: A compositional perspective on supervised learning.	LICS	2019	DBLP DOI BibTeX RDF
24	Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer	Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.	ICGT	2019	DBLP DOI BibTeX RDF
24	Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh	A Computable Functor from graphs to Fields.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
24	Oghenetega Ighedo	More on the Functor Induced by z-Ideals.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
24	Olivier De Deken, Wendy Lowen	Filtered cA∞-Categories and Functor Categories.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
24	Jan Grebík	An Example of a Fraïssé Class Without a Katětov Functor.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
24	Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann	Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.	CoRR	2018	DBLP BibTeX RDF
24	Khadijeh Keshvardoost, Mojgan Mahmoudi	Free functor from the category of G-nominal sets to that of 01-G-nominal sets.	Soft Comput.	2018	DBLP DOI BibTeX RDF
24	Ramon Jansana, Hernán Javier San Martín	On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
24	Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann	Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages.	CMCS	2018	DBLP DOI BibTeX RDF
24	Vaia Patta	Aspects of categorical physics: a category for modelling dependence relations and a generalised entropy functor.		2018	RDF
24	Rafael Fernández-Casado, Xabier García-Martínez, Manuel Ladra	A Natural Extension of the Universal Enveloping Algebra Functor to Crossed Modules of Leibniz Algebras.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
24	Brendan Fong, David I. Spivak, Rémy Tuyéras	Backprop as Functor: A compositional perspective on supervised learning.	CoRR	2017	DBLP BibTeX RDF
24	Javad Asadollahi, Rasool Hafezi, Razieh Vahed	On the Recollements of Functor Categories.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
24	Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias	On a paraconsistentization functor in the category of consequence structures.	J. Appl. Non Class. Logics	2016	DBLP DOI BibTeX RDF
24	Sandrine Blazy, Vincent Laporte, David Pichardie	An abstract memory functor for verified C static analyzers.	ICFP	2016	DBLP DOI BibTeX RDF
24	Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001	Towards Trace Metrics via Functor Lifting.	CoRR	2015	DBLP BibTeX RDF
24	Edward S. Letzter	Continuity is an Adjoint Functor.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
24	Wee Liang Gan, Liping Li	Coinduction functor in representation stability theory.	J. Lond. Math. Soc.	2015	DBLP DOI BibTeX RDF
24	Junjie Chen, Patrick Cousot	A Binary Decision Tree Abstract Domain Functor.	SAS	2015	DBLP DOI BibTeX RDF
24	Caterina Urban	FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).	TACAS	2015	DBLP DOI BibTeX RDF
24	Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001	Towards Trace Metrics via Functor Lifting.	CALCO	2015	DBLP DOI BibTeX RDF
24	Mohamed Barakat, Markus Lange-Hegermann	Characterizing Serre Quotients with no Section Functor and Applications to Coherent Sheaves.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
24	Roberto Martínez-Villa, Martin Ortiz-Morales	Tilting Theory and Functor Categories I. Classical Tilting.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
24	Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001	Behavioral Metrics via Functor Lifting.	CoRR	2014	DBLP BibTeX RDF
24	Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001	Behavioral Metrics via Functor Lifting.	FSTTCS	2014	DBLP DOI BibTeX RDF
24	Roberto Martínez-Villa, Martin Ortiz-Morales	Tilting Theory and Functor Categories II. Generalized Tilting.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
24	Andrey Mudrov	On Dynamical Adjoint Functor.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
24	Dion Coumans, Samuel J. van Gool	On generalizing free algebras for a functor.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
24	Chris Heunen	On the Functor ℓ2.	Computation, Logic, Games, and Quantum Foundations	2013	DBLP DOI BibTeX RDF
24	Mehdi Bouaziz	TreeKs: A Functor to Make Numerical Abstract Domains Scalable.	NSAD@SAS	2012	DBLP DOI BibTeX RDF
24	Noriyuki Abe, Hiroyuki Nakaoka	General Heart Construction on a Triangulated Category (II): Associated Homological Functor.	Appl. Categorical Struct.	2012	DBLP DOI BibTeX RDF
24	Dmitrij P. Skvortsov	A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.	Advances in Modal Logic	2012	DBLP BibTeX RDF
24	Piotr Niemiec	Functor of Extension of Contractions on Urysohn Universal Spaces.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
24	Russell O'Connor	Functor is to Lens as Applicative is to Biplate: Introducing Multiplate	CoRR	2011	DBLP BibTeX RDF