Robuta

https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.natural-isomorphisms-functors-large-precategories.html Natural isomorphisms between functors between large precategories - agda-unimath naturalfunctorslargeagda https://unimath.github.io/agda-unimath/category-theory.functors-set-magmoids.html Functors between set-magmoids - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. functorssetagda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.category-of-functors.html The category of functors and natural transformations between two categories - agda-unimath the category https://archive.mpim-bonn.mpg.de/id/eprint/1922/ Quadratic functors and metastable homotopy I (Homological algebra of quadratic functors) - MPIM... homological algebraquadraticfunctorshomotopy https://www.kth.se/math/kalender/thomas-blom-postdoc-day-seminar-4-replacing-functors-by-enriched-ones-1.1144674?date=2022-02-25&orgdate=2022-02-06&length=1&orglength=329 Thomas Blom: Postdoc day, Seminar 4: Replacing functors by enriched ones | KTH https://unimath.github.io/agda-unimath/category-theory.natural-transformations-functors-large-precategories.html Natural transformations between functors between large precategories - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. naturaltransformationsfunctorslargeagda https://dgtal-team.github.io/doc-nightly/structDGtal_1_1functors_1_1BinaryPointPredicate_3_01TPointPredicate1_00_01TPointPredicate2_00_01OrBoolFct2_01_4.html DGtal: DGtal::functors::BinaryPointPredicate TPointPredicate1, TPointPredicate2, OrBoolFct2 ... functors https://arxiv.org/abs/1705.09198 [1705.09198] Proper Functors and Fixed Points for Finite Behaviour Abstract page for arXiv paper 1705.09198: Proper Functors and Fixed Points for Finite Behaviour properfunctorsfixedpointsfinite https://www.kth.se/math/kalender/louis-hainaut-the-notion-of-polynomial-functors-1.1170243?date=2022-05-20&orgdate=2022-03-01&length=1&orglength=306 Louis Hainaut: The notion of polynomial functors | KTH the notionlouishainautpolynomialfunctors https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.restrictions-functors-cores-precategories.html Restrictions of functors to cores of precategories - agda-unimath restrictionsfunctorscoresagda https://dev.to/riccardoodone/functors-compose-monads-do-not-4e8j Functors Compose, Monads Do Not - DEV Community The title says it all ;). Tagged with purescript, functional. do notfunctorscomposemonadsdev https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.DaggerCategories.Functors.Precomp.html UniMath.CategoryTheory.DaggerCategories.Functors.Precomp functors https://commons.apache.org/proper/commons-collections/javadocs/api-3.2.2/org/apache/commons/collections/functors/package-tree.html org.apache.commons.collections.functors Class Hierarchy (Apache Commons Collections 3.2.2 API) apache commonsclass hierarchycollectionsfunctorsapi https://unimath.github.io/agda-unimath/category-theory.functors-large-categories.html Functors between large categories - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. functorslargecategoriesagda https://bugsquash.blogspot.com/2011/08/validating-with-applicative-functors-in.html Bug squash: Validating with applicative functors in F# In my last post I showed how to validate using applicative functors in C# . LINQ helps a lot with making the syntax bearable. In F# we hav... bugsquashvalidatingapplicativefunctors https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.essential-fibers-of-functors-precategories.html Essential fibers of functors between precategories - agda-unimath essentialfibersfunctorsagda https://dgtal-team.github.io/doc-nightly/classDGtal_1_1functors_1_1SimpleThresholdForegroundPredicate.html DGtal: DGtal::functors::SimpleThresholdForegroundPredicate Image Class Template Reference functorsimageclasstemplatereference https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.pseudomonic-functors-precategories.html Pseudomonic functors between precategories - agda-unimath functorsagda https://www.f08.uni-stuttgart.de/aktuelles/veranstaltung/Monika-Truong-M.Sc.-Functors-for-ordinary-and-stable-simplicial-groups/ Monika Truong, M.Sc.: Functors for ordinary and stable simplicial groups | Veranstaltung |... 22.05.2025: Promotionsvortrag von Monika Truong, M.Sc. Fachbereich Mathematik https://unimath.github.io/agda-unimath/trees.multivariable-polynomial-functors.html Multivariable polynomial functors - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. polynomialfunctorsagda https://bugsquash.blogspot.com/2011/08/refactoring-to-monadic-c-applicative.html?showComment=1339674336384 Bug squash: Refactoring to monadic C# - applicative functors In the last part of this series , we "upgraded" the Maybe monad to an Either monad in order to add error messages when parsing two integers.... bugsquashrefactoringmonadicapplicative https://dev.to/snird/functors-from-first-principle-37lh Functors from first principle - explained with JS - DEV Community Explaining what functors are from the most basic definitions. Tagged with functional, haskell, javascript, beginners. first principlefunctorsexplainedjsdev https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.natural-transformations-functors-from-small-to-large-categories.html Natural transformations between functors from small to large categories - agda-unimath naturaltransformationsfunctors https://arxiv.org/abs/1004.0457 [1004.0457] On monomorphic topological functors with finite supports Abstract page for arXiv paper 1004.0457: On monomorphic topological functors with finite supports monomorphictopologicalfunctorsfinitesupports https://ocw.mit.edu/courses/18-s996-category-theory-for-scientists-spring-2013/resources/mit18_s996s13_chapter3/ 18.S996S13 Textbook: Categories and Functors, without Admitting it | Category Theory for Scientists... This resource contains information regarding categories and functors, without admitting it. https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.representable-functors-precategories.html Representable functors between precategories - agda-unimath functorsagda https://mostly-adequate.gitbook.io/mostly-adequate-guide/ch10 Chapter 10: Applicative Functors | mostly-adequate-guide chapterapplicativefunctorsmostlyadequate https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.functors-categories.html Functors between categories - agda-unimath functorscategoriesagda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.faithful-functors-precategories.html Faithful functors between precategories - agda-unimath faithfulfunctorsagda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.full-functors-precategories.html Full functors between precategories - agda-unimath fullfunctorsagda https://unimath.github.io/UniMath/gen/rocqdoc/UniMath.CategoryTheory.DaggerCategories.Functors.FullyFaithful.html UniMath.CategoryTheory.DaggerCategories.Functors.FullyFaithful functors https://archive.mpim-bonn.mpg.de/id/eprint/3137/ Quadratic functors and metastable homotopy II (Homotopy groups of Moors spaces and homology groups... quadraticfunctorshomotopy https://www.math.kyoto-u.ac.jp/en/event/seminar/5905 Dirac cohomology and Generalizations of Arakawa Suzuki functors | Department of Mathematics Kyoto... diraccohomologygeneralizations https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.fully-faithful-functors-precategories.html Fully faithful functors between precategories - agda-unimath fullyfaithfulfunctorsagda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.functors-large-precategories.html Functors between large precategories - agda-unimath functorslargeagda