Search results for "functors"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Alexandru Gheorghiu, Chris Heunen	Ontological models for quantum theory as functors.	QPL	2019	DBLP DOI BibTeX RDF
19	David I. Spivak	Generalized Lens Categories via functors Cop → Cat.	CoRR	2019	DBLP BibTeX RDF
19	Vladimir Zamdzhiev	Reflecting Algebraically Compact Functors.	ACT	2019	DBLP DOI BibTeX RDF
19	Bruno Gavranovic	Learning Functors using Gradient Descent.	ACT	2019	DBLP DOI BibTeX RDF
19	Adriana Balan, Alexander Kurz 0001, Jirí Velebil	Extending set functors to generalised metric spaces.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
19	Cristina Bertone, Francesca Cioffi, Davide Franco	Functors of liftings of projective schemes.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
19	Ruizhi Huang, Jie Wu	Cancellation and homotopy rigidity of classical functors.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
19	Jirí Mockor, Irina Perfilieva	Functors Among Categories of L-fuzzy Partitions, L-fuzzy Pretopological Spaces and L-fuzzy Closure Spaces.	IFSA/NAFIPS	2019	DBLP DOI BibTeX RDF
19	Lê Thành Dung Nguyên, Cécilia Pradic	From Normal Functors to Logarithmic Space Queries.	ICALP	2019	DBLP DOI BibTeX RDF
19	Heinrich Apfelmus	Demo: functors and music.	FARM@ICFP	2019	DBLP DOI BibTeX RDF
19	Jeremy Avigad, Mario Carneiro, Simon Hudon	Data Types as Quotients of Polynomial Functors.	ITP	2019	DBLP DOI BibTeX RDF
19	Maria Maximova	Behavior and confluence analysis of M-adhesive transformation systems using M-functors.		2019	RDF
19	David Sprunger	A complete logic for behavioural equivalence in coalgebras of finitary set functors.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Lawrence S. Moss	Fixed points of functors.	J. Log. Algebraic Methods Program.	2018	DBLP DOI BibTeX RDF
19	Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán	Borel Functors and Infinitary Interpretations.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
19	Martin Brandenburg	Operations on Categories of Modules are Given by Schur Functors.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
19	Septimiu Crivei, Gabriela Olteanu	Rickart and Dual Rickart Objects in Abelian Categories: Transfer via Functors.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
19	Jan Foniok, Claude Tardif	Hedetniemi's Conjecture and Adjoint Functors in Thin Categories.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
19	Ana Sokolova, Harald Woracek	Proper Semirings and Proper Convex Functors.	CoRR	2018	DBLP BibTeX RDF
19	Natsuki Urabe, Ichiro Hasuo	Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.	CoRR	2018	DBLP BibTeX RDF
19	Karl Crary	Hygienic Source-Code Generation Using Functors.	CoRR	2018	DBLP BibTeX RDF
19	Adriana Balan, Alexander Kurz 0001, Jirí Velebil	Extending set functors to generalised metric spaces.	CoRR	2018	DBLP BibTeX RDF
19	Stefan Milius	Proper Functors and Fixed Points for Finite Behaviour.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Tibor Beke, Jirí Rosický	Elementary equivalences and accessible functors.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
19	Andreas Lochbihler, Joshua Schneider 0001	Bounded Natural Functors with Covariance and Contravariance.	Arch. Formal Proofs	2018	DBLP BibTeX RDF
19	Richard Garner, Tom Hirschowitz	Shapely monads and analytic functors.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
19	Dominic A. Orchard	Complexity bounds for container functors and comonads.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
19	Amir Jafari, Mostafa Einollahzadeh	Tannakian formalism for fiber functors over tensor categories.	Period. Math. Hung.	2018	DBLP DOI BibTeX RDF
19	Karl Crary	Hygienic Source-Code Generation Using Functors - (Extended Abstract).	PADL	2018	DBLP DOI BibTeX RDF
19	Natsuki Urabe, Ichiro Hasuo	Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.	CMCS	2018	DBLP DOI BibTeX RDF
19	Härmel Nestra	Double Applicative Functors.	ICTAC	2018	DBLP DOI BibTeX RDF
19	Ana Sokolova, Harald Woracek	Proper Semirings and Proper Convex Functors.	FoSSaCS	2018	DBLP DOI BibTeX RDF
19	Steven Phillips	What underlies dual-process cognition? Adjoint and representable functors.	CogSci	2018	DBLP BibTeX RDF
19	Hua Fan 0002, Wojciech M. Golab	Scalable Transaction Processing Using Functors.	ICDCS	2018	DBLP DOI BibTeX RDF
19	Jan Bracker	Unified notions of generalised monads and applicative functors.		2018	RDF
19	Anna Labella, Rocco De Nicola	Initial Algebra for a System of Right-Linear Functors.	Acta Cybern.	2017	DBLP DOI BibTeX RDF
19	Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán	Computable Functors and Effective interpretability.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
19	Wieslaw Kubis, Dragan Masulovic	Katětov Functors.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
19	Francesco Genovese	Adjunctions of Quasi-Functors Between DG-Categories.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
19	Hideto Asashiba	A Generalization of Gabriel's Galois Covering Functors II: 2-Categorical Cohen-Montgomery Duality.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
19	Stefan Milius	Proper Functors and their Rational Fixed Point.	CoRR	2017	DBLP BibTeX RDF
19	Salil Samant, Shiv Dutt Joshi	Unified Functorial Signal Representation III: Foundations, Redundancy, L0 and L2 functors.	CoRR	2017	DBLP BibTeX RDF
19	Jirí Adámek, Stefan Milius	On Corecursive Algebras for Functors Preserving Coproducts.	CoRR	2017	DBLP BibTeX RDF
19	Maria Manuel Clementino, Dirk Hofmann	The rise and fall of V-functors.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
19	Hongliang Lai, Lili Shen	Fixed points of adjoint functors enriched in a quantaloid.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
19	Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel	Operations on Bounded Natural Functors.	Arch. Formal Proofs	2017	DBLP BibTeX RDF
19	Jeremy Gibbons	APLicative Programming with Naperian Functors.	ESOP	2017	DBLP DOI BibTeX RDF
19	Michel Nguiffo Boyom, Ahmed Zeglaoui	Amari Functors and Dynamics in Gauge Structures.	GSI	2017	DBLP DOI BibTeX RDF
19	Tarmo Uustalu	Container Combinatorics: Monads and Lax Monoidal Functors.	TTCS	2017	DBLP DOI BibTeX RDF
19	Stefan Milius	Proper Functors and their Rational Fixed Point.	CALCO	2017	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius	On Corecursive Algebras for Functors Preserving Coproducts.	CALCO	2017	DBLP DOI BibTeX RDF
19	Henning Basold, Damien Pous, Jurriaan Rot	Monoidal Company for Accessible Functors.	CALCO	2017	DBLP DOI BibTeX RDF
19	Jirí Adámek, Václav Koubek, Thorsten Palm	Fixed Points of Set Functors: How Many Iterations are Needed?	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
19	Nouf AlYamani, N. D. Gilbert, E. C. Miller	Fibrations of Ordered Groupoids and the Factorization of Ordered Functors.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
19	Alex Martsinkovsky	On Direct Summands of Homological Functors on Length Categories - In memory of Hans-Bjørn Foxby.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
19	Hongliang Lai, Lili Shen	Fixed points of adjoint functors enriched in a quantaloid.	CoRR	2016	DBLP BibTeX RDF
19	Lorna Gregory, Mike Prest	Representation embeddings, interpretation functors and controlled wild algebras.	J. Lond. Math. Soc.	2016	DBLP DOI BibTeX RDF
19	Jirí Adámek	Fixed Points of Functors - A Short Abstract.	CMCS	2016	DBLP DOI BibTeX RDF
19	David Sprunger	A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.	CMCS	2016	DBLP DOI BibTeX RDF
19	Jeremy Gibbons	APLicative programming with Naperian functors (extended abstract).	TyDe@ICFP	2016	DBLP DOI BibTeX RDF
19	Andreas Lochbihler, Joshua Schneider 0001	Equational Reasoning with Applicative Functors.	ITP	2016	DBLP DOI BibTeX RDF
19	Josef Ruppenhofer, Jasper Brandes	Effect Functors for Opinion Inference.	LREC	2016	DBLP BibTeX RDF
19	Mauricio Velasco	Linearization Functors on Real Convex Sets.	SIAM J. Optim.	2015	DBLP DOI BibTeX RDF
19	Jirí Adámek, Paul Blain Levy, Stefan Milius, Lawrence S. Moss, Lurdes Sousa	On Final Coalgebras of Power-Set Functors and Saturated Trees - To George Janelidze on the Occasion of His Sixtieth Birthday.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
19	Václav Koubek, Vera Trnková	Set Functors and Filters.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
19	A. Bruguières, Sebastian Burciu	On Normal Tensor Functors and Coset Decompositions for Fusion Categories.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Lawrence S. Moss, Henning Urbat	On finitary functors and their presentations.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF
19	Johannes Marti, Yde Venema	Lax extensions of coalgebra functors and their logic.	J. Comput. Syst. Sci.	2015	DBLP DOI BibTeX RDF
19	Richard Garner, Tom Hirschowitz	Shapely monads and analytic functors.	CoRR	2015	DBLP BibTeX RDF
19	Jan Foniok, Claude Tardif	Digraph functors which admit both left and right adjoints.	Discret. Math.	2015	DBLP DOI BibTeX RDF
19	Maria Maximova, Hartmut Ehrig, Claudia Ermel	Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
19	Dan Piponi, Brent A. Yorgey	Polynomial Functors Constrained by Regular Expressions.	MPC	2015	DBLP DOI BibTeX RDF
19	Paul-André Melliès, Noam Zeilberger	Functors are Type Refinement Systems.	POPL	2015	DBLP DOI BibTeX RDF
19	Adriana Balan, Alexander Kurz 0001, Jirí Velebil	Extensions of Functors From Set to V-cat.	CALCO	2015	DBLP DOI BibTeX RDF
19	Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You	Modular reifiable matching: a list-of-functors approach to two-level types.	Haskell	2015	DBLP DOI BibTeX RDF
19	Stephen Lack	Morita Contexts as Lax Functors.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
19	Themba Dube, Oghenetega Ighedo	Two Functors Induced by Certain Ideals of Function Rings.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
19	Marcelo P. Fiore	Analytic functors between presheaf categories over groupoids.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	Paolo Capriotti, Ambrus Kaposi	Free Applicative Functors.	MSFP	2014	DBLP DOI BibTeX RDF
19	Pierre Hyvernat	A Linear Category of Polynomial Functors (extensional part).	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	Jirí Mockor	Isomorphisms and functors of fuzzy sets and cut systems.	Soft Comput.	2014	DBLP DOI BibTeX RDF
19	Sebastian Burciu	New examples of the Green functors arising from representation theory of semisimple Hopf algebras.	J. Lond. Math. Soc.	2014	DBLP DOI BibTeX RDF
19	Wouter Pieter Stekelenburg	Regular functors and relative realisability categories.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
19	Bachuki Mesablishvili, Robert Wisbauer	On Rational Pairings of Functors.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
19	Lili Shen, Dexue Zhang	The concept lattice functors.	Int. J. Approx. Reason.	2013	DBLP DOI BibTeX RDF
19	Maria Maximova, Hartmut Ehrig, Claudia Ermel	Analysis of Hypergraph Transformation Systems in AGG based on M-Functors.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
19	Jan Foniok, Claude Tardif	Adjoint functors in graph theory	CoRR	2013	DBLP BibTeX RDF
19	Jan Foniok, Claude Tardif	Digraph functors which admit both left and right adjoints	CoRR	2013	DBLP BibTeX RDF
19	Pierre Clairambault	Strong functors and interleaving fixpoints in game semantics.	RAIRO Theor. Informatics Appl.	2013	DBLP DOI BibTeX RDF
19	Christopher French	Functors from association schemes.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
19	Zach Weber	Figures, Formulae, and Functors.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
19	Shuhua Su, Qingguo Li, Huodi Chen	Quantitative domains via fuzzy sets: Locally order preserving functors.	IFSA/NAFIPS	2013	DBLP DOI BibTeX RDF
19	Salah Al-Nofayee	r-Costar Pair of Contravariant Functors.	Int. J. Math. Math. Sci.	2012	DBLP DOI BibTeX RDF
19	Maria Maximova, Hartmut Ehrig, Claudia Ermel	Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2012	DBLP DOI BibTeX RDF
19	Joachim Kock	Data types with symmetries and polynomial functors over groupoids	CoRR	2012	DBLP BibTeX RDF
19	Johannes Marti, Yde Venema	Lax Extensions of Coalgebra Functors.	CMCS	2012	DBLP DOI BibTeX RDF
19	Jirí Adámek, Stefan Milius, Lawrence S. Moss	On Finitary Functors and Their Presentations.	CMCS	2012	DBLP DOI BibTeX RDF
19	Ross Paterson	Constructing Applicative Functors.	MPC	2012	DBLP DOI BibTeX RDF
19	Marcelo P. Fiore	Discrete Generalised Polynomial Functors - (Extended Abstract).	ICALP (2)	2012	DBLP DOI BibTeX RDF
19	Tamás Mihálydeák	Partial First-order Logic with Approximative Functors Based on Properties.	RSKT	2012	DBLP DOI BibTeX RDF