Search results for "Fibrations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Manuela Sobral	Descent for Discrete (Co)fibrations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms
91	Peter T. Johnstone	Fibrations and partial products in a 2-category.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	partial product, Fibration, 2-category
69	Claudio Hermida	Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity
51	John Power, Edmund Robinson	Logical relations, data abstraction, and structured fibrations.	PPDP	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, linear ?-calculus, interpretations, ?-calculus, logical relations
50	Talip Can Termen, Ozgur Ege	Digital h-Fibrations and Some New Results on Digital Fibrations.	Axioms	2024	DBLP DOI BibTeX RDF
47	Ulrich Fahrenberg	A Category of Higher-Dimensional Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF	Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations
47	Brian P. Dunphy, Uday S. Reddy	Parametric Limits.	LICS	2004	DBLP DOI BibTeX RDF	Parametric polymorphism, Relational Parametricity, Categorical models, Fibrations
47	John Power, Edmund Robinson	Logical Relations and Data Abstraction.	CSL	2000	DBLP DOI BibTeX RDF	cartesian closed fibrations, interpretations, lambda calculus, logical relations
47	Ronald D. Baker, Gary L. Ebert, Tim Penttila	Hyperbolic Fibrations and q-Clans.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF
44	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter	Categorical Models for Intuitionistic and Linear Type Theory.	FoSSaCS	2000	DBLP DOI BibTeX RDF
26	Razvan Diaconescu	Grothendieck Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations
26	Paolo Boldi, Sebastiano Vigna	Universal dynamic synchronous self-stabilization.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks
26	Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely	A Hyperdoctrinal View of Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
25	Jonathan Gorard	Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations.	CoRR	2024	DBLP DOI BibTeX RDF
25	Filippo Bonchi, Barbara König 0001, Daniela Petrisan	Up-to techniques for behavioural metrics via fibrations.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
25	Alejandro Aguirre 0001, Shin-ya Katsumata, Satoshi Kura 0001	Weakest preconditions in fibrations.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
25	Fernando Abellán García, Walker H. Stern	2-Cartesian Fibrations I: A Model for ∞-Bicategories Fibred in ∞-Bicategories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
25	Jonathan Weinberger	Two-sided cartesian fibrations of synthetic (∞, 1)-categories.	CoRR	2022	DBLP DOI BibTeX RDF
25	Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini	A characterisation of elementary fibrations.	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
25	Andrea Guidolin, Ana Romero 0001	Computing Higher Leray-Serre Spectral Sequences of Towers of Fibrations.	Found. Comput. Math.	2021	DBLP DOI BibTeX RDF
25	Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini	Elementary fibrations of enriched groupoids.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
25	Daniel Miguel, Andrea Guidolin, Ana Romero 0001, Julio Rubio 0001	Constructing new spectral systems from simplicial fibrations.	ACM Commun. Comput. Algebra	2021	DBLP DOI BibTeX RDF
25	Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart	HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations.	CoRR	2021	DBLP BibTeX RDF
25	Anson Bastos, Kuldeep Singh 0001, Abhishek Nadgeri, Saeedeh Shekarpour, Isaiah Onando Mulang', Johannes Hoffart	HopfE: Knowledge Graph Representation Learning using Inverse Hopf Fibrations.	CIKM	2021	DBLP DOI BibTeX RDF
25	Susmit Bagchi	Topological Analysis of Fibrations in Multidimensional (C, R) Space.	Symmetry	2020	DBLP DOI BibTeX RDF
25	Benno van den Berg, Eric Faber	Effective Kan fibrations in simplicial sets.	CoRR	2020	DBLP BibTeX RDF
25	Alejandro Aguirre 0001, Shin-ya Katsumata	Weakest Preconditions in Fibrations.	MFPS	2020	DBLP DOI BibTeX RDF
25	Bert Jüttler, Sofia Maroscheck, Myung-Soo Kim, Q. Youn Hong	Arc fibrations of planar domains.	Comput. Aided Geom. Des.	2019	DBLP DOI BibTeX RDF
25	Ana Romero 0001, Julio Rubio 0001, Francis Sergeraert	An implementation of effective homotopy of fibrations.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
25	Henning Basold	Coinduction in Flow: The Later Modality in Fibrations.	CALCO	2019	DBLP DOI BibTeX RDF
25	Damiano Mazza, Luc Pellissier, Pierre Vial	Polyadic approximations, fibrations and intersection types.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
25	Pierre-Alain Jacqmin, Sandra Mantovani, Giuseppe Metere, Enrico M. Vitale	On Fibrations Between Internal Groupoids and Their Normalizations.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
25	Henning Basold	Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations.	CoRR	2018	DBLP BibTeX RDF
25	Filippo Bonchi, Barbara König 0001, Daniela Petrisan	Up-To Techniques for Behavioural Metrics via Fibrations.	CoRR	2018	DBLP BibTeX RDF
25	Igor Krylov	Birational geometry of del Pezzo fibrations with terminal quotient singularities.	J. Lond. Math. Soc.	2018	DBLP DOI BibTeX RDF
25	Filippo Bonchi, Barbara König 0001, Daniela Petrisan	Up-To Techniques for Behavioural Metrics via Fibrations.	CONCUR	2018	DBLP DOI BibTeX RDF
25	Edouard Balzin	Derived Sections of Grothendieck Fibrations and the Problems of Homotopical Algebra.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
25	Ruggero Pagnan	Concrete Fibrations.	Notre Dame J. Formal Log.	2017	DBLP DOI BibTeX RDF
25	Decheng Miao, Jianqing Xi, Xinsheng Liu, Jindian Su	Fibrations理论在索引归纳数据类型不确定语义中的应用 (Applications of Fibrations Theory to Uncertainty Semantic Computation for Indexed Inductive Data Types).	计算机科学	2017	DBLP DOI BibTeX RDF
25	Decheng Miao, Jianqing Xi, Yubin Guo, Deyou Tang	Inductive Data Types Based on Fibrations Theory in Programming.	J. Comput. Inf. Technol.	2016	DBLP BibTeX RDF
25	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
25	Decheng Miao, Jianqing Xi, Jingguo Dai, Jindian Su	程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming).	计算机科学	2016	DBLP DOI BibTeX RDF
25	Fei Hu, JongHae Keum, De-Qi Zhang	Criteria for the existence of equivariant fibrations on algebraic surfaces and hyperkähler manifolds and equality of automorphisms up to powers: a dynamical viewpoint.	J. Lond. Math. Soc.	2015	DBLP DOI BibTeX RDF
25	Colin Riba	Fibrations of Tree Automata.	TLCA	2015	DBLP DOI BibTeX RDF
25	Michael Johnson, Robert D. Rosebrugh, Richard J. Wood	Lenses, fibrations and universal translations.	Math. Struct. Comput. Sci.	2012	DBLP DOI BibTeX RDF
25	Ana Romero 0001, Francis Sergeraert	Effective homotopy of fibrations.	Appl. Algebra Eng. Commun. Comput.	2012	DBLP DOI BibTeX RDF
25	José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo	Convolutional Goppa codes defined on fibrations.	Appl. Algebra Eng. Commun. Comput.	2012	DBLP DOI BibTeX RDF
25	Hamid Ahmadinezhad	On del Pezzo fibrations that are not birationally rigid.	J. Lond. Math. Soc.	2012	DBLP DOI BibTeX RDF
25	Tibor Beke	Fibrations of Simplicial Sets.	Appl. Categorical Struct.	2010	DBLP DOI BibTeX RDF
25	José Ignacio Iglesias Curto, J. M. Muñoz Porras, Francisco J. Plaza Martín, G. Serrano Sotelo	Convolutional Goppa codes defined on fibrations	CoRR	2010	DBLP BibTeX RDF
25	Matthew R. Brown, Gary L. Ebert, Deirdre Luyckx	On the geometry of regular hyperbolic fibrations.	Eur. J. Comb.	2007	DBLP DOI BibTeX RDF
25	Michael Johnson, Robert D. Rosebrugh	Fibrations and universal view updatability.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
25	András I. Stipsicz, Zoltán Szabó, Ágnes Szilárd	Singular Fibers in Elliptic Fibrations on the Rational Elliptic Surface.	Period. Math. Hung.	2007	DBLP DOI BibTeX RDF
25	Deirdre Luyckx	A Geometric Construction of the Hyperbolic Fibrations Associated with a Flock, q Even.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	51E23, AMS Classification 51E20
25	Paolo Boldi, Violetta Lonati, Massimo Santini 0001, Sebastiano Vigna	Graph fibrations, graph isomorphism, and PageRank.	RAIRO Theor. Informatics Appl.	2006	DBLP DOI BibTeX RDF
25	Rui Pacheco	Twistor fibrations giving primitive harmonic maps of finite type.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
25	Hamidou Dathe, Philippe Rukimbira	Fibrations and contact structures.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
25	Claudio Hermida, Paulo Mateus	Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
25	Toshihiro Yamaguchi	On the genus of free loop fibrations over F0-spaces.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
25	François Lamarche	Multiplicative Linear Logics and Fibrations.	CTCS	2002	DBLP DOI BibTeX RDF
25	Jesse Hughes, Bart Jacobs 0001	Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem.	CTCS	2002	DBLP DOI BibTeX RDF
25	Paolo Boldi, Sebastiano Vigna	Fibrations of graphs.	Discret. Math.	2002	DBLP DOI BibTeX RDF
25	Ronald D. Baker, Jeremy M. Dover, Gary L. Ebert, Kenneth L. Wantz	Hyperbolic Fibrations of PG(3, q).	Eur. J. Comb.	1999	DBLP DOI BibTeX RDF
25	Paolo Boldi, Sebastiano Vigna	Good Fibrations and Other Construction Which Preserve Sense of Direction.	SIROCCO	1996	DBLP BibTeX RDF
25	Claudio Hermida, Bart Jacobs 0001	Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.	Math. Struct. Comput. Sci.	1995	DBLP DOI BibTeX RDF
25	Richard Mijoule	Fibrations and Recursivity.	RAIRO Theor. Informatics Appl.	1995	DBLP DOI BibTeX RDF
25	Claudio Hermida	Fibrations, logical predicates and indeterminates.		1993	RDF
25	Eugene W. Stark	Dataflow Networks are Fibrations.	Category Theory and Computer Science	1991	DBLP DOI BibTeX RDF
25	William C. Hoffman	Some Reasons Why Algebraic Topology is Important in Neuropsychology: Perceptual and Cognitive Systems as Fibrations.	Int. J. Man Mach. Stud.	1985	DBLP DOI BibTeX RDF
25	Sara Hurvitz	הגזע של מרחבים ושל סיכויים (The genus of spaces and fibrations.).		1977	RDF
22	Steven Awodey, Florian Rabe 0001	Kripke Semantics for Martin-Löf's Extensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
22	Mark Weber	Yoneda Structures from 2-toposes.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05
22	George Boiadjiev, Daniela Vassileva, Haruhisa Kawasaki, Tetsuya Mouri	Sensibility Control of Redundant Robots: Position Control by Image Trajectories.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
22	Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson	Category-theoretic fibration as an abstraction mechanism in information systems.	Acta Informatica	2001	DBLP DOI BibTeX RDF