Azimuth Forum

  • Home
  • Azimuth Project
  • Blog
  • Guide
  • Join
  • Sign In
Home › Baez ACT 2019: Online Course › Baez ACT 2019: Exercises
Sign In • Register

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register
  • Categories
  • Recent Discussions
  • Activity

Categories

  • All Categories 2.4K
  • Chat 505
  • Study Groups 21
  • Petri Nets 9
  • Epidemiology 4
  • Leaf Modeling 2
  • Review Sections 9
  • MIT 2020: Programming with Categories 51
  • MIT 2020: Lectures 20
  • MIT 2020: Exercises 25
  • Baez ACT 2019: Online Course 339
  • Baez ACT 2019: Lectures 79
  • Baez ACT 2019: Exercises 149
  • Baez ACT 2019: Chat 50
  • UCR ACT Seminar 4
  • General 75
  • Azimuth Code Project 111
  • Statistical methods 4
  • Drafts 10
  • Math Syntax Demos 15
  • Wiki - Latest Changes 3
  • Strategy 113
  • Azimuth Project 1.1K
  • Older Categories 1.1K
  • - Spam 1
  • News and Information 148
  • Azimuth Blog 149
  • - Conventions and Policies 21
  • - Questions 43
  • Azimuth Wiki 719
Options
  • View Source

Exercise 42 - Chapter 2

Fredrick Eisele
April 2018 edited June 2018 in Baez ACT 2019: Exercises
  1. Is \( ( \mathbb{N} , \le, 1, *) \) a monoidal preorder, where \( * \) is the usual multiplication of natural numbers?

  2. If not, why not? If so, find a monoidal monotone \( ( \mathbb{N} , \le, 0, + ) → ( \mathbb{N} , \le, 1, * ) \).

Definition symmetric monoidal preorder

Previous Next

Comments

  • Options
    • Copy Link
    • View Source
    1.
    Fredrick Eisele
    May 2018

    \( f(n) = 3^n \)

    Comment Source:\\( f(n) = 3^n \\)
hello world×
Sign In or Register to comment.
Powered by Vanilla