Showing 1–6 of 6 results for author: Kadhi, F

Accessible bridge between category theory and functional programming

Authors: Fethi Kadhi

Abstract: Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded in Haskell. Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded in Haskell. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: in French language, Conference SMT 2023

Lemme de Yoneda pour les foncteurs à valeurs monoidales

Authors: Fethi Kadhi

Abstract: We consider a closed symmetric monoidal category $\mathcal{M}$. We show that if $I$ is a small category then $\mathcal{M}^I$ is a closed $\mathcal{M}$-module. We rewrite the Yoneda Lemma in the case of monoidal valued functors. We derive an adjoint functor theorem and we show that $\mathcal{M}^I$ is a closed symmetric monoidal category We consider a closed symmetric monoidal category $\mathcal{M}$. We show that if $I$ is a small category then $\mathcal{M}^I$ is a closed $\mathcal{M}$-module. We rewrite the Yoneda Lemma in the case of monoidal valued functors. We derive an adjoint functor theorem and we show that $\mathcal{M}^I$ is a closed symmetric monoidal category △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: in French language, Exposé aux séminaires de LATAO, Faculté des Sciences De Tunis, 8-3-2018

Optimisation Abstraite

Authors: Fethi Kadhi

Abstract: The basic concepts in category theory are representables, adjoints, limits, and monads. In this talk, we define the notion of a Kan extension and show that this notion encompasses these concepts. The basic concepts in category theory are representables, adjoints, limits, and monads. In this talk, we define the notion of a Kan extension and show that this notion encompasses these concepts. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: in French language, Conference, Exposé aux séminaires de laboratoire LATAO, Faculté des Sciences de Tunis, Jeudi 18-2-2021

MSC Class: 18A23; 18A25; 18A30; 18A40

Analytical Study of a Class of Rational Difference Equations

Authors: Fethi Kadhi, Malek Ghazel

Abstract: We obtain the solution of the fourth order difference equation $$ x_{n+1}=\frac{ αx_{n-3}}{A+B x_{n-1}x_{n-3}}$$ with the initial conditions; $x_{-3}=d,$ $x_{-2}=c,$ $x_{-1}=b,$ and $x_{0}=a$ are arbitrary nonzero real numbers, $α$, $A$ and $B$ are arbitrary constants. The result is used to study the convergence of solutions, the existence of unbounded solutions and the convergence to periodic sol… ▽ More We obtain the solution of the fourth order difference equation $$ x_{n+1}=\frac{ αx_{n-3}}{A+B x_{n-1}x_{n-3}}$$ with the initial conditions; $x_{-3}=d,$ $x_{-2}=c,$ $x_{-1}=b,$ and $x_{0}=a$ are arbitrary nonzero real numbers, $α$, $A$ and $B$ are arbitrary constants. The result is used to study the convergence of solutions, the existence of unbounded solutions and the convergence to periodic solutions. We illustrate the results by several numerical examples. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Comments: 14 pages

MSC Class: 34K05; 34K13; 34K20; 39A10

Reedy diagrams in V-model categories

Authors: Moncef Ghazel, Fethi Kadhi

Abstract: We study the category of Reedy diagrams in a $\mm$-model category. Explicitly, we show that if K is a small category, V is a closed symmetric monoidal category and C is a closed V-module, then the diagram category V^K is a closed symmetric monoidal category and the diagram category C^K is a closed V^K-module. We then prove that if further K is a Reedy category, V is a monoidal model category and C… ▽ More We study the category of Reedy diagrams in a $\mm$-model category. Explicitly, we show that if K is a small category, V is a closed symmetric monoidal category and C is a closed V-module, then the diagram category V^K is a closed symmetric monoidal category and the diagram category C^K is a closed V^K-module. We then prove that if further K is a Reedy category, V is a monoidal model category and C is a V-model category, then with the Reedy model category structures, V^K is a monoidal model category and C^K$ is a $\mm^K-model category provided that either the unit 1 of V is cofibrant or V is cofibrantly generated. △ Less

Submitted 8 April, 2019; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: 21 pages

MSC Class: 55U35; 18D10; 19D23; 18D15

Journal ref: Applied Categorical Structures March 2019

Reedy diagrams in symmetric monoidal model categories

Authors: Moncef Ghazel, Fethi Kadhi

Abstract: Given a small category $I$ and a closed symmetric monoidal category $\mm$, we show that the diagram category $\mm^I$ with the objectwise product is a closed symmetric monoidal category. We then prove that if $I$ is a Reedy category and $\mm$ has a model structure compatible with its product, then so is the Reedy model structure on $\mm^I$ provided that $\mm$ is cofibrantly generated. Given a small category $I$ and a closed symmetric monoidal category $\mm$, we show that the diagram category $\mm^I$ with the objectwise product is a closed symmetric monoidal category. We then prove that if $I$ is a Reedy category and $\mm$ has a model structure compatible with its product, then so is the Reedy model structure on $\mm^I$ provided that $\mm$ is cofibrantly generated. △ Less

Submitted 18 March, 2020; v1 submitted 30 September, 2016; originally announced September 2016.

Comments: Results of this paper are included in my other published paper "Reedy diagrams in V-model categories" arXiv:1610.06535

MSC Class: 55U35; 18D10; 19D23; 18D15