English word origin

Etymology of oplax

Related to lax

1 source sectionBrief source recordWiktionary original ↗

In this entry · 1 source sections

The source etymologies

Wiktionary via Kaikki / Wiktextract

The source reports below are imported and unreviewed by *SET-U. Separate numbered origins and differing source variants are preserved; agreement within this extraction is not independent corroboration.

Unnumbered source etymology

Original entry ↗

adj

Pertaining to the dual of a lax monoidal functor.

Selected source glosses provide context, not a complete modern definition inventory

Related to lax

Inspect preserved source fields

Raw extraction fields are retained for auditing. Their order does not establish ancestry.

{
  "templates": [],
  "links": [
    [
      "lax",
      "lax#English"
    ]
  ],
  "references": [],
  "descendants": [],
  "lexical": [
    {
      "pos": "adj",
      "glosses": [
        "Pertaining to the dual of a lax monoidal functor."
      ],
      "tags": [
        "not-comparable"
      ],
      "recordId": "25f8519bdf5169e4d4b8bfad1f53f6e3130f965420b01249e845bbd6ee68e595",
      "rawRecordSha256": "cce2108e31058a1dbd8f99ef741b04921a65c43fe3ed6212a6cc20032cb7a91b",
      "sourceRecordOrdinal": 6456932
    }
  ],
  "omittedAuxiliaryFields": {
    "templates": 0,
    "links": 0,
    "references": 0,
    "descendants": 0,
    "lexicalRecords": 0,
    "lexicalSenses": 0,
    "glosses": 0
  }
}

Where this record stops

This page does not supply an independently verified sound-change sequence, first-use manuscript or complete family tree unless a cited analysis explicitly establishes one. Missing detail here is a limit of this record—not a claim that humanity knows nothing more.

An older meaning does not determine what a word must mean today. Follow the sources, preserve disagreements, and keep ancestry separate from interpretation.

Contribute located evidence for oplax →

Source and snapshot

Imported from Wiktionary contributors; extracted by Tatu Ylonen / Wiktextract / Kaikki.org. Selected fields are reformatted and grouped; wording, source identity and etymology sections are retained. CC-BY-SA-4.0 applies to the imported source material.

Dump: 2026-10-01 · Extracted: 2026-10-30. These are snapshot dates, not the word’s first attestation or the page’s revision date.

Source entry and bibliography ↗Wiktionary revision history ↗Acquisition and rights ledger

Machine-source provenance

Source SHA-256: 5ff2c072f8099f2d2ce484bd6957bf179f046d2ad37bc36555edf8bb84cb5291
Import run: 73216b9a9b78ed3830994bf853103716f5a4dc57099e371e9f8fdc468facca26
Permanent entry ID: w-b3BsYXg