Two applications of analytic functors
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 5657413
- scientific article; zbMATH DE number 3954832
- Analytic functors and weak pullbacks
- scientific article; zbMATH DE number 1498547
- scientific article; zbMATH DE number 417561
- co-Semi-analytic Functors
- Calculus. II: Analytic functors
- On operads, bimodules and analytic functors
- An analogue to functional analysis in dialgebras
- scientific article; zbMATH DE number 566953
Cites work
- A bijective proof of infinite variated Good's inversion
- A combinatorial proof of the multivariable Lagrange inversion formula
- A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method
- A new system of proof-theoretic ordinal functions
- An extension of Schütte's Klammersymbole
- Braided tensor categories
- Graph minors. IV: Tree-width and well-quasi-ordering
- Graph minors. VIII: A Kuratowski theorem for general surfaces
- scientific article; zbMATH DE number 2185654 (Why is no real title available?)
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 432700 (Why is no real title available?)
- scientific article; zbMATH DE number 3870584 (Why is no real title available?)
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 4029551 (Why is no real title available?)
- scientific article; zbMATH DE number 4033746 (Why is no real title available?)
- scientific article; zbMATH DE number 4033765 (Why is no real title available?)
- scientific article; zbMATH DE number 3677903 (Why is no real title available?)
- scientific article; zbMATH DE number 3711961 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 1222102 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- scientific article; zbMATH DE number 555217 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 706263 (Why is no real title available?)
- scientific article; zbMATH DE number 1104447 (Why is no real title available?)
- scientific article; zbMATH DE number 1111371 (Why is no real title available?)
- scientific article; zbMATH DE number 217454 (Why is no real title available?)
- scientific article; zbMATH DE number 1393359 (Why is no real title available?)
- scientific article; zbMATH DE number 3219337 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3328154 (Why is no real title available?)
- scientific article; zbMATH DE number 3346319 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- scientific article; zbMATH DE number 3198033 (Why is no real title available?)
- Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse
- LCF considered as a programming language
- Logic, language and computation. Festschrift in Honor of Satoru Takasu
- Normal functors, power series and -calculus
- On asymmetric structures
- Ordering by Divisibility in Abstract Algebras
- Orderings for term-rewriting systems
- Ordinal numbers and the Hilbert basis theorem
- Proof theory
- Proving termination with multiset orderings
- Quantitative domains, groupoids and linear logic
- Reversion of power series and the extended Raney coefficients
- Reversion of power series by residues
- Terminal coalgebras in well-founded set theory
- The Lagrange-Good inversion formula and its application to integral equations
- Traced monoidal categories
- Une théorie combinatoire des séries formelles
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Π12-logic, Part 1: Dilators
Cited in
(28)- Minimal bad sequences are necessary for a uniform Kruskal theorem
- Analytic functors between presheaf categories over groupoids
- Containers: Constructing strictly positive types
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
- A quantum double construction in Rel.
- Bialgebras in Rel
- Data types with symmetries and polynomial functors over groupoids
- Semantics of higher-order quantum computation via geometry of interaction
- Some reasons for generalising domain theory
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
- Initial Algebra Semantics for Cyclic Sharing Structures
- The Scott model of linear logic is the extensional collapse of its relational model
- scientific article; zbMATH DE number 1222102 (Why is no real title available?)
- scientific article; zbMATH DE number 1498547 (Why is no real title available?)
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Extending set functors to generalised metric spaces
- From Kruskal’s theorem to Friedman’s gap condition
- On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
- Containers, monads and induction recursion
- A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula
- Fixed points and Noetherian topologies
- Differential 2-rigs
- Stabilized profunctors and stable species of structures
- A Cartesian bicategory of polynomial functors in homotopy type theory
- Automata and coalgebras in categories of species
- Automata and coalgebras in categories of species
- Data types with symmetries via action containers
- Unambiguous acceptance of thin coalgebras
This page was built for publication: Two applications of analytic functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5958294)
